Pinned Repositories
elm-ast
A parser for Elm in Elm.
fuc
Functional Utilities for Coffeescript and Javascript
furp
FRP with LiveScript
glossary
Glossary of Programming Language Concepts
idris-libuv-example
code example for using Idris with a libuv-based async C runtime
legato
OSC, MIDI, and more
lifty
elevator scheduling simulator
nixform
define terraform infrastructure in nix
nixos-tutorial
one hour, hands-on
responsible
Idris 2 HTTP Api Server
brainrake's Repositories
brainrake/idris-libuv-example
code example for using Idris with a libuv-based async C runtime
brainrake/glossary
Glossary of Programming Language Concepts
brainrake/elm-ast
A parser for Elm in Elm.
brainrake/flex-html
Flexbox layout for elm-html
brainrake/atom-elm
An atom package providing syntax highlighting and snippets for the Elm language.
brainrake/benzene
benzene project: a hex-playing engine
brainrake/ellie
ellie-app.com
brainrake/elm-bidict
brainrake/elm-compiler
Compiler for Elm, a functional language for reliable webapps.
brainrake/elm-demo
small example that shows the time and a random value every second
brainrake/elm-make
A build tool for Elm projects
brainrake/elm-repl
A REPL for Elm
brainrake/ggo
game of go in idris
brainrake/gitlab-empire
gitlab dashboard
brainrake/guide.elm-lang.org
An Introduction to Elm.
brainrake/htdp-solutions
brainrake/idris-argparse
A simple argument parser written in Idris.
brainrake/idris-dict
A Dict k v in Idris
brainrake/idris-elm
Build web apps with Idris, use Elm packages
brainrake/lure
brainrake/nixos-black-theme
A simple black NixOS SLiM theme
brainrake/opencaching-pl
The source code of Opencaching.PL (and some other domains)
brainrake/peng
elm pong
brainrake/purescript-drawing
brainrake/purescript-jtable
A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data
brainrake/pypi2nix
brainrake/qnject
Injects web server to binary process to modify its behaviours (hook, alter QObjects, etc)
brainrake/se
structural elucidator
brainrake/tableau-web-table-connector
A mini framework for writing Tableau Web Data Connectors.
brainrake/ubikv2
experimental visual project in clojure & clojuescript