Alternatives and similar repositories for ghcjs:

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

• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 10 years ago
• davdar / maam
  A monadic approach to static analysis following the methodology of AAM
  ☆18Updated 9 years ago
• shachaf / ghc-core
  ☆39Updated 7 years ago
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 9 years ago
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆31Updated 7 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆40Updated 10 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• jkarni / verdict
  ☆26Updated 8 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• chrisdone-archive / ghc-server
  A server interface to GHC.
  ☆19Updated 10 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• thsutton / cha
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22Updated 8 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago
• jgm / illuminate
  An efficient syntax highlighting library in Haskell, using alex-generated lexers
  ☆27Updated 13 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• david-christiansen / final-pretty-printer
  A monadic (and pretty) pretty printer for Haskell
  ☆38Updated last year
• jyp / prettiest
  The Prettiest Printer
  ☆34Updated last year
• goldfirere / dependent-db
  ☆19Updated 7 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 4 years ago
• jfeltz / dash-haskell
  dash docset builder for Haskell packages and cabal project dependencies
  ☆78Updated 5 years ago
• chrisdone-archive / present
  Make presentations for data types
  ☆25Updated 3 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 10 years ago
• bgamari / play-type-search
  A hack to find types in Haskell codebases
  ☆10Updated 9 years ago