paldepind

#!/bin/bash
TMP_AVI=$(mktemp /tmp/outXXXXXXXXXX.avi)
ffcast -w % ffmpeg -y -f x11grab -draw_mouse 0 -show_region 1 -framerate 15 \
    -video_size %s -i %D+%c -codec:v huffyuv                  \
    -vf crop="iw-mod(iw\\,2):ih-mod(ih\\,2)" $TMP_AVI         \
&& convert -set delay 10 -layers Optimize $TMP_AVI out.gif

paldepind

// Welcome! require() some modules from npm (like you were using browserify)
// and then hit Run Code to run your code on the right side.
// Modules get downloaded from browserify-cdn and bundled in your browser.
var patch = require('snabbdom').init([
  require('snabbdom/modules/attributes'),
]);

var h = require('snabbdom/h');

var elem = h('div', [

paldepind

// Welcome! require() some modules from npm (like you were using browserify)
// and then hit Run Code to run your code on the right side.
// Modules get downloaded from browserify-cdn and bundled in your browser.

let {addIndex, chain, curry, map, range} = require("ramda")
let snabbdom = require("snabbdom")
let h = require("snabbdom/h")
let hh = require("hyperscript-helpers")

let {div, span} = hh(h)

paldepind

const model = (animation: Animation) => fgo(function* model({ playPauseS, replayS }: ToModel) {
  const playingB: Behavior<boolean> = yield sample(scan((_, b) => !b, false, playPauseS));
  const playingSpeedB = map((b) => b ? 1 : 0, playingB);
  const initialTimeB = yield sample(integrate(playingSpeedB));
  const positionB = yield sample(switcher(initialTimeB, snapshot(integrate(playingSpeedB), replayS)));
  return [{ positionB, playingB }, {}];
});

const view = ({ playingB, positionB }: ToView): any => [
  button({output: {click: "playPauseS"}}, icon(playingB.map((b) => b ? "pause" : "play_arrow"))),

paldepind

module Experiment
  ( mapHeterogenousRecord
  , mapRecordBuilder
  , class MapRecord
  ) where

import Prelude

import Prim.Row as Row
import Prim.RowList as RL

paldepind

const fs = require("fs");

const bundle = fs.readFileSync("path-to-webpack-bundle.html", "utf8");

const escaped = JSON.stringify(bundle);
const js = `export default ${escaped}`;

fs.writeFileSync("javascript-output-file.ts", js);

paldepind

From Coq Require Import QArith Qcanon.
From stdpp Require Export base decidable option numbers.

(* Strictly positive rationals *)

(* Positive fractions. *)
Record Qpos : Set := mk_Qpos {
  Qpos_num : positive;
  Qpos_den : positive
}.

paldepind

From iris.bi Require Import bi.
Import bi.
From iris.proofmode Require Import tactics environments intro_patterns monpred.

Section intuit_to_spatial.
  Context {PROP : bi}.

  Implicit Types Γ Γp Γs : env PROP.
  Implicit Types Δ : envs PROP.
  Implicit Types P Q : PROP.

paldepind

import 'package:flutter/cupertino.dart';

void main() => runApp(TestApp());

class TestApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return const CupertinoApp(
        home: CupertinoTheme(
            data: CupertinoThemeData(brightness: Brightness.dark),

paldepind

import 'package:flutter/material.dart';

void main() => runApp(TestApp());

class TestApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return MaterialApp(
        home: Theme(
            data: ThemeData(brightness: Brightness.dark),