Popular repositories Loading

1. restack restack Public

   Full Stack ReasonML Tutorials

   OCaml 229 3

2. nanomsg-examples nanomsg-examples Public

   Examples of different message types in C with nanomsg

   143 43

3. purescript-mode purescript-mode Public

   Forked from haskell/haskell-mode

   Emacs mode for PureScript

   Emacs Lisp 44 13

4. learn-minikube learn-minikube Public

   Shell 22 6

5. lfe-otp-ping-pong lfe-otp-ping-pong Public

   A Simple Example of Using LFE (Lisp Flavoured Erlang) for Erlang OTP code

   11 3

6. agda-haskell-c-ffi-layer-cake agda-haskell-c-ffi-layer-cake Public

   Demostration of FFI from Agda -> Haskell -> C in one project

   Haskell 11