• Stars
    star
    44
  • Rank 634,578 (Top 13 %)
  • Language
    Haskell
  • Created about 5 years ago
  • Updated over 3 years ago

Reviews

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

Repository Details

๐Ÿ–barbq is a text based status bar for macOS

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

gameboy

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

swift-di-explorations

Functional DI explorations in Swift
Swift
28
star
6

life

A Nix configuration for macOS and Linux
Nix
27
star
7

git-paradox

Copy history forward safely and easily
Shell
26
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