Alternatives and similar repositories for webciv

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

• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 7 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆28Updated 5 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆16Updated 4 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 10 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 9 years ago
• GaloisInc / gidl
  Gidl: an Interface Description Language
  ☆10Updated 8 years ago
• RaminHAL9001 / Dao
  The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…
  ☆46Updated 5 years ago
• iconnect / api-tools
  A Haskell embedded DSL for generating an API's JSON wrappers and documentation.
  ☆34Updated this week
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆12Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 10 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆23Updated 9 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 8 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• lkuper / lvar-semantics
  PLT Redex models of LVar calculi
  ☆10Updated 10 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 8 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 7 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated 2 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 9 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆34Updated 3 weeks ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 9 years ago
• effectfully / Eff
  Experiments with effect systems
  ☆12Updated 9 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 9 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 8 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 7 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 11 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 13 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 11 years ago