Alternatives and similar repositories for js-asteroids

Users that are interested in js-asteroids are comparing it to the libraries listed below

• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 4 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆23Updated 4 months ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• paf31 / purescript-jquery
  Type declarations for jQuery
  ☆30Updated 5 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 3 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 6 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆46Updated 8 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 7 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 10 years ago
• purescript / purescript-lazy
  Call-by-need values
  ☆30Updated 3 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• purescript-deprecated / purescript-generics
  ☆21Updated 4 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 10 months ago
• ZongzheYuan / HaltingProblem
  The proof of undecidability of halting problem, using the model -- WHILE language.
  ☆21Updated 5 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• silkapp / json-schema
  Types and classes for defining JSON schemas.
  ☆23Updated 6 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 11 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• joelburget / haskell-loader
  A webpack loader for Haskell (!)
  ☆15Updated 10 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated 3 weeks ago