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
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 9 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 10 years ago
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆31Updated 7 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• chrisdone-archive / flo
  Generate flow charts from your code base.
  ☆15Updated 9 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 10 years ago
• david-christiansen / final-pretty-printer
  A monadic (and pretty) pretty printer for Haskell
  ☆37Updated last year
• jgm / illuminate
  An efficient syntax highlighting library in Haskell, using alex-generated lexers
  ☆26Updated 13 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆40Updated 10 years ago
• jfeltz / dash-haskell
  dash docset builder for Haskell packages and cabal project dependencies
  ☆78Updated 4 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• yav / simple-smt
  ☆21Updated 2 months ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆49Updated 7 years ago
• jkarni / verdict
  ☆26Updated 8 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 8 years ago
• chrisdone-archive / ghc-server
  A server interface to GHC.
  ☆19Updated 10 years ago
• shachaf / ghc-core
  ☆39Updated 7 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• davdar / maam
  A monadic approach to static analysis following the methodology of AAM
  ☆18Updated 9 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 12 years ago
• adamgundry / uom-plugin
  Units of measure as a GHC typechecker plugin
  ☆30Updated 2 years ago
• langston-barrett / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 8 years ago
• goldfirere / dependent-db
  ☆19Updated 7 years ago
• sseefried / docker-epidemic-build-env
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆30Updated 8 years ago
• edwinb / Idris-old
  A language with dependent types
  ☆19Updated 13 years ago