Alternatives and similar repositories for sync-mht:

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

• pre-srfi / static-scheme
  ☆12Updated 4 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated last year
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated last year
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 9 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆93Updated 8 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 10 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆49Updated 7 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• GaloisInc / golang
  Parser and type analysis for the Go programming language
  ☆12Updated last year
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 8 years ago
• ltext / ltext
  λtext - higher-order file applicator
  ☆36Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• hamishmack / ghcjs
  Haskell to Javascript compiler (via GHC)
  ☆20Updated 5 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 8 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆40Updated 10 years ago