Alternatives and similar repositories for libhelium

Users that are interested in libhelium are comparing it to the libraries listed below

• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 4 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• kim / data-ringbuffer
  Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"
  ☆26Updated 10 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 10 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• ojarjur / multischeme
  Compile-time multitasking support for the Scheme programming language
  ☆37Updated 10 years ago
• archhaskell / archlinux
  ☆24Updated 10 years ago
• kazu-yamamoto / mighttpd
  A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.
  ☆42Updated 14 years ago
• DemiMarie / rusty_scheme
  Very incomplete Scheme interpreter, written in Rust
  ☆23Updated 8 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• reem / adamantium
  Functional, Persistent Data Structures in Rust
  ☆51Updated 10 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• rib / rig
  ☆44Updated 6 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• cyndis / rust-alsa
  libasound bindings for rust
  ☆13Updated 10 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆98Updated 8 months ago
• creichert / haskellrustdemo
  Example Integration for Embedding Rust in Haskell
  ☆35Updated 6 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆45Updated last year
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 10 months ago
• mikea / scheme-llvm
  ☆44Updated 8 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago