kim / data-ringbuffer
Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"
☆26Updated 9 years ago
Related projects: ⓘ
- Yes, really!☆11Updated 9 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- ☆34Updated 5 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Term Rewriting Systems☆17Updated 8 years ago
- Support for static values☆22Updated 2 weeks ago
- Distributed Data Structures in Coq☆49Updated 10 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- cargo +nightly build☆34Updated 5 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- The Haskell File System: A file system implementation in Haskell☆37Updated 9 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Invertible parsing for S-expressions☆33Updated last week
- TCP Realisation of Network.Transport☆30Updated 2 weeks ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- purerl bindings to basic Erlang process functionality☆12Updated 2 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 months ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- The Alms Programming Language☆43Updated 6 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 6 years ago
- The LVish Haskell library☆81Updated last year
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago