Alternatives and similar repositories for shenzhen:

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

• thufschmitt / tix-papers
  Some writings about a type system for nix
  ☆19Updated 7 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 6 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• timbod7 / secretfs
  A FUSE file system that interpolates secret information
  ☆20Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated last year
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 3 months ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• ElvishJerricco / nix-simple-ci
  Very simple CI server for Nix projects on GitHub
  ☆15Updated 7 years ago
• bitemyapp / presentations
  what it says on the tin
  ☆24Updated 6 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• VictorTaelin / unknown_halting_status
  Small programs with unknown halting status.
  ☆12Updated 8 years ago
• lpsmith / configurator-ng
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16Updated 5 years ago
• quchen / cabal-install-bin
  Install binary packages in a temporary Cabal sandbox
  ☆16Updated 9 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• ivan-m / jbi
  Just Build It - a "do what I mean" abstraction for Haskell build tools
  ☆12Updated 6 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 10 years ago
• phadej / tdigest
  On-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆31Updated 8 months ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago