Pinned Repositories
acme-lookofdisapproval
bx
icfp2019-papers
ICFP 2019 preprints/papers
icfp2020-papers
ICFP 2020 papers. Crowd-sourced
kex
K language semantics
kiss
prose
Pure-Haskell proper unicode string handling
riak.d
dtrace + riak
llelf's Repositories
llelf/icfp2019-papers
ICFP 2019 preprints/papers
llelf/cocoricoogle
llelf/riak.d
dtrace + riak
llelf/aplcart
A novel approach to finding your way in APL
llelf/book
V2 of Real World OCaml
llelf/charset
fast utf-8 character sets
llelf/Co-dfns
High-performance, Reliable, and Parallel APL
llelf/compiler98
a Haskell compiler — copy of darcs://darcs.haskell.org/york-compiler98
llelf/coq-lecture-notes
Coq Lecture Notes
llelf/deriving
Class instances for Coq inductive types with little boilerplate
llelf/dune
A composable build system for OCaml.
llelf/eleveldb
Erlang LevelDB API
llelf/enummapset-th
TH-generated EnumSet/EnumMap wrappers around IntSet/IntMap.
llelf/erlang-bookmarks
All about erlang programming language [powerd by community]
llelf/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
llelf/jhc
Fork of http://repetae.net/repos/jhc/
llelf/json-transform
llelf/otp
Erlang/OTP
llelf/patoline
Patoline typesetting system
llelf/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
llelf/poolboy
A hunky Erlang worker pool factory
llelf/posix-api
haskell posix bindings
llelf/rebar3_cuttlefish
Cuttlefish plugin for rebar3
llelf/recon
Collection of functions and scripts to debug Erlang in production.
llelf/riak_core
Distributed systems infrastructure used by Riak.
llelf/riak_kv
Riak Key/Value Store
llelf/riak_pb
Riak Protocol Buffers Messages
llelf/riak_test
I'm in your cluster, testing your riaks
llelf/ruhaskell
Главный сайт сообщества
llelf/theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.