• Stars
    star
    26
  • Rank 930,752 (Top 19 %)
  • Language
    Shell
  • License
    MIT License
  • Created over 12 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

Copy history forward safely and easily

More Repositories

1

DoctorPretty

Wadler's "A prettier printer" embedded pretty-printer DSL for Swift
Swift
192
star
2

CUDA-grep

grep on CUDA
C++
116
star
3

cyklic

A Cycle.js inspired Native Single-Atom-State Purely Functional Reactive Composable UI Component library for Android
Kotlin
89
star
4

barbq

๐Ÿ–barbq is a text based status bar for macOS
Haskell
44
star
5

gameboy

[alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsers
Assembly
31
star
6

swift-di-explorations

Functional DI explorations in Swift
Swift
28
star
7

life

A Nix configuration for macOS and Linux
Nix
27
star
8

slides

Slide decks rendered from mardown
JavaScript
24
star
9

swift-optparse-applicative

Commandline parsing using applicatives (optparse-applicative ported from Haskell/Scala)
Swift
10
star
10

PathySwift

Typesafe Phantom-Type backed Paths (port of purescript-pathy)
Swift
9
star
11

reasonable-wm

A functional tiling "window manager" for the web written in Reason
HTML
9
star
12

empydom

Python-Javascript DOM bridge
JavaScript
8
star
13

kson

It's like GSON, but in Swift
Swift
7
star
14

abstraction

Data abstraction in Dhall
Dhall
6
star
15

xbox-one-fake-driver

A "joystick driver" for Xbox One controllers on OSX
Go
6
star
16

rust-torrent

Rust torrent client (to play with rust)
Rust
6
star
17

purescript-cache

Algebraic caches for purescript
PureScript
6
star
18

android-scala-example

Example Scala Android project with guide
Scala
4
star
19

Twitter-fake

Twitter fake for reason
OCaml
4
star
20

dotfiles

dotfiles and other configuration files that reside in my home directory
Vim Script
4
star
21

joyfull

Use a joystick in the browser
C
3
star
22

toy-cool-language

A type checker and interpreter for Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types (Joshua Dunfield, Neelakantan R. Krishnaswami)
OCaml
3
star
23

osx-life

A Nix-shell default.nix for my life in OSX
Nix
2
star
24

Algorithm-w-again

Doing Algorithm W again [Damas, Milner 82] and [Milner 77-78]
OCaml
2
star
25

key-injector

Inject keyboard events into OSX
Python
2
star
26

compiler

Playing with compilers (WASM?)
Haskell
2
star
27

dotvim

My vim configuration
Vim Script
2
star
28

flickrbox

JavaScript
2
star
29

static-electric

A typesafe static site DSL using JSX/Tyxml and a styling group
OCaml
2
star
30

js-async-to-sync

Experiments in asyncToSync converters in web workers
JavaScript
2
star
31

jsonschema-to-dhall

Auto-generate Dhall bindings given a JSON Schema definition
Nix
2
star
32

drag-drop-in-cyclejs

Playing around with cycle.js; simple drag-drop-uploader
JavaScript
1
star
33

NextBart

Find the when the next bart is leaving
Java
1
star
34

codeshare

1
star
35

site2

Trying to make a website again
Reason
1
star
36

haskell-play

Nix playground for haskell stuff
Haskell
1
star
37

buckitup

Playing with facebook/buck#810 in an Android app
Java
1
star
38

rust-ffi-example

An example of Rust's FFI for v0.4
JavaScript
1
star
39

Native-OpenCV-Android-4.0.3

OpenCV Tutorial 2 Advanced working in Android 4.0.3
Java
1
star
40

datalog-gadt

Type-safe Datalog experiment using GADTs in OCaml
OCaml
1
star
41

fast-blog

Static blog generator
CSS
1
star
42

looking-glass

Through the looking glass, to the world
Java
1
star
43

swift-typed-ast-parser

Swift Typed AST Parser
Swift
1
star
44

cairo-schnorr

Schnorr in cairo (allegedly)
Cairo
1
star
45

algebra-dummit-foote

Exercises for "Abstract Algebra by Dummit and Foote"
TeX
1
star