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 11 years ago
• chrisdone-archive / flo
  Generate flow charts from your code base.
  ☆15Updated 10 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 10 years ago
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 9 years ago
• nominolo / scion
  OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine
  ☆179Updated 12 years ago
• valderman / lambdascript
  Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
  ☆25Updated 8 years ago
• edwinb / Idris-old
  A language with dependent types
  ☆19Updated 14 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 10 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• jfeltz / dash-haskell
  dash docset builder for Haskell packages and cabal project dependencies
  ☆78Updated 5 years ago
• david-christiansen / final-pretty-printer
  A monadic (and pretty) pretty printer for Haskell
  ☆39Updated 2 years ago
• jgm / illuminate
  An efficient syntax highlighting library in Haskell, using alex-generated lexers
  ☆27Updated 14 years ago
• molysgaard / Sirkel
  Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!
  ☆21Updated 12 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆34Updated 3 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆42Updated 10 years ago
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 13 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 10 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆48Updated 7 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 8 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 3 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 6 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 8 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆71Updated 10 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆50Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 10 years ago