• Stars
    star
    1
  • Language
    HTML
  • License
    MIT License
  • Created about 8 years ago
  • Updated about 8 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My solutions to exercises in Benjamin C. Pierce's Software Foundations

More Repositories

1

flyd

The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
JavaScript
1,566
star
2

functional-frontend-architecture

A functional frontend framework.
JavaScript
1,444
star
3

union-type

A small JavaScript library for defining and using union types.
JavaScript
475
star
4

synceddb

Makes it easy to write offline-first applications with realtime syncing and server side persistence.
JavaScript
397
star
5

dffptch

A micro library for diffing and patching JSON objects using a compact diff format
JavaScript
170
star
6

composable.el

Composable text editing for Emacs.
Emacs Lisp
115
star
7

functionize

A library which aids in making any JavaScript library more functional.
JavaScript
49
star
8

projectdo

Context-aware single-letter project commands to speed up your terminal workflow.
Shell
47
star
9

Kran

An entity system written in JavaScript.
JavaScript
42
star
10

Gtk98Icons

An icon theme for GTK that looks like Windows 98
PHP
40
star
11

smart-comment

Smarter commenting for Emacs
Emacs Lisp
40
star
12

sync-promise

Compact synchronized promise implementation. Promises/A+ incompliant. Works inside IdexedDB transactions.
JavaScript
32
star
13

dot-compose

Function composition with dot as a composition operator.
JavaScript
23
star
14

vim-python-ide

Python development config with asynchronous Vim Plugins
Vim Script
22
star
15

seamless-fantasy

Make fantasy land seamlessly compatible with plain JavaScript data structures.
JavaScript
10
star
16

list-difference

Fast algorithm for finding edits between lists.
JavaScript
10
star
17

duck

๐Ÿฆ† Turns a TypeScript file into JSON describing the files exports.
TypeScript
8
star
18

find-the-function

A tiny tool for finding functions from libraries
TypeScript
7
star
19

ryter

A tiny JavaScript router
JavaScript
7
star
20

web-swipe-view

Horizontal swipe views for mobile web applications
JavaScript
7
star
21

finger-tree

Highly optimized implementation of finger trees in JavaScript
TypeScript
6
star
22

flyview

Efficient views powered by streams/ovservables/functional reactive properties.
JavaScript
6
star
23

fake-raf

A fake requestAnimationFrame perfect for unit testing.
JavaScript
5
star
24

flyd-forwardto

Create a new stream that passes all values through a function and forwards them to a target stream.
JavaScript
4
star
25

maxima-calculus2

Maxima funktioner til lรธsning af eksamensopgaver i kurset Calculus 2 pรฅ Aarhus Universitet
4
star
26

turing-patterns

Multi-Scale Turing Patterns
JavaScript
4
star
27

reflex-examples

A collection of examples using Reflex.
Haskell
3
star
28

flyd-scanmerge

Flyd module for conveniently merging and reducing several streams into one.
JavaScript
3
star
29

flyd-obj

Functions for working with stream in objects.
JavaScript
3
star
30

category-theory-notes

TeX
3
star
31

matmod

Handy functions for matMod written in R for Jupyter
Jupyter Notebook
3
star
32

dnd-scroll

Proper edge scroll when dragging with HTML 5 drag and drop!
JavaScript
3
star
33

dffptch-haskell

A small library for diffing and patching JSON objects using a compact diff format
Haskell
2
star
34

keyano-vscode

Next-generation keyboard-driven editing language. Edit code at the speed of light.
TypeScript
2
star
35

flyd-filter

Filter function for Flyd.
JavaScript
2
star
36

planetsimulator

A physical simulation of planetary motion written in JavaScript
JavaScript
2
star
37

flyd-every

Takes a time interval t and creates a stream of the current time updated every t.
JavaScript
1
star
38

paldepind.github.io

CSS
1
star
39

hareactive-old

Experimental WIP.
JavaScript
1
star
40

vdom-benchmark-snabbdom

Virtual DOM Benchmark implementation for Snabbdom library.
JavaScript
1
star
41

simple-frp

An attempt at creating a very simple FRP library for educational purposes.
TypeScript
1
star
42

flyd-sampleon

sampleOn for Flyd.
JavaScript
1
star
43

flyd-keepwhen

keepWhen function for Flyd.
JavaScript
1
star
44

flyd-lift

Lift function for Flyd.
JavaScript
1
star
45

dotfiles

Repository containing my dotfiles.
Emacs Lisp
1
star
46

react-native-chainable-stylesheet

TypeScript
1
star
47

flyd-aftersilence

Flyd module that buffers values from a stream and emits them after a specified duration of silience.
JavaScript
1
star
48

domain-theory

CSS
1
star