Alternatives and similar repositories for sync-mht:

Users that are interested in sync-mht are comparing it to the libraries listed below

• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆127Updated 2 months ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆49Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆37Updated 2 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆47Updated last year
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• mikeizbicki / typeparams
  Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
  ☆41Updated 10 years ago
• sseefried / docker-epidemic-build-env
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆30Updated 8 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• ivan-m / haskell-docs
  Get the Haskell documentation of a name from a module
  ☆32Updated 5 years ago
• lexi-lambda / racket-higher-rank
  ☆21Updated 7 years ago
• chrisdone-archive / present
  Make presentations for data types
  ☆25Updated 3 years ago
• btmura / b1
  B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.
  ☆51Updated 7 years ago
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated last year
• jfischoff / twitch
  A high level file watcher DSL
  ☆41Updated last year
• jkarni / verdict
  ☆26Updated 8 years ago