Pinned Repositories
clay
The Clay programming language
core.logic
Cours-passerelle
Cours de l'année préparatoire au master en sciences informatiques de l'ULg
dpdk-rumptcpip
DPDK TCP/IP support using rump kernels
jsparse
JavaScript Parser Combinator Library
magpie
The Magpie programming language
rust
a safe, concurrent, practical language
shen.clj
神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.
stanford-cs240h
Course materials for Stanford CS240h, "Functional Systems in Haskell"
zhaobr's Repositories
zhaobr/clay
The Clay programming language
zhaobr/jsparse
JavaScript Parser Combinator Library
zhaobr/magpie
The Magpie programming language
zhaobr/rust
a safe, concurrent, practical language
zhaobr/shen.clj
神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.
zhaobr/stanford-cs240h
Course materials for Stanford CS240h, "Functional Systems in Haskell"
zhaobr/core.logic
zhaobr/Cours-passerelle
Cours de l'année préparatoire au master en sciences informatiques de l'ULg
zhaobr/dpdk-rumptcpip
DPDK TCP/IP support using rump kernels
zhaobr/eraft
Raft reference implementation for Erlang
zhaobr/Fexl
Function EXpression Language (interpreter for functional programs)
zhaobr/formal
zhaobr/ghc-stack
Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
zhaobr/haskell-openflow
OpenFlow
zhaobr/HLearn
Homomorphic machine learning
zhaobr/init
zhaobr/io-streams
Simple, composable, and easy-to-use stream I/O for Haskell
zhaobr/jazz_model
Jazz Model - A data model for Jazz theory and other cool stuff.
zhaobr/kaleidoscope
Haskell LLVM Kaleidoscope Tutorial
zhaobr/layers
Modular type class machinery for monad transformer stacks.
zhaobr/LinearML
Functional language for parallel programming
zhaobr/nessDB
A very fast key-value, embedded Database Storage Engine. Using SST(Small-Splittable Tree, one of Bε-tree) as storage engine from version 2.0.
zhaobr/Peggy
The Parser Generator for Haskell
zhaobr/pegjs
PEG.js: Parser Generator for JavaScript
zhaobr/purescript
A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks
zhaobr/qbrt
Compiler and interpreter for a concurrent bytecode assembly language.
zhaobr/vedis
An Embedded Implementation of Redis
zhaobr/zhaobr.github.com