pnevyk / llang

Related projects ⓘ

Alternatives and complementary repositories for llang

• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆59Updated 7 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• dankogai / js-lambda
  DSL for lambda calculus
  ☆16Updated 9 years ago
• walterra / avocado
  An opinionated approach to have type safety in native JavaScript.
  ☆10Updated 2 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 11 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 7 years ago
• BrunoRB / algorithms.coffee
  Classic algorithms and data structures in coffeescript. Making the World a better place, with coffee.
  ☆37Updated 7 years ago
• heapwolf / pipe
  Unix style pipes for nodejs streams `streamA | streamB | streamA`
  ☆46Updated 8 years ago
• joelburget / hubble
  javascript lenses
  ☆15Updated 9 years ago
• zkat / protocols
  Multi-type protocol-based polymorphism
  ☆10Updated 8 years ago
• xtendo-org / unbreak
  Secure and resilient remote file storage with client-side encryption
  ☆11Updated 6 years ago
• Qix- / arua-meta
  Standards, RFCs and discussion of the Arua language
  ☆44Updated 8 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 9 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆133Updated 11 years ago
• incrediblesound / nebulaDB
  NebulaDB Graph Database
  ☆39Updated 8 years ago
• vhf / monomorphist
  monomorphist - a JavaScript performance companion
  ☆32Updated 7 years ago
• erykpiast / autocompleted-select
  Select Web Component with autocompletion. Based on RxJS and VirtualDOM.
  ☆12Updated 9 years ago
• CRogers / pun
  A small library to enable pattern matching in javascript and coffeescript
  ☆345Updated 10 years ago
• santoshrajan / monadjs
  Monad Library for JavaScript
  ☆54Updated 11 years ago
• purr-platform / purr0
  The Purr programming language — a small, portable functional language for writing highly concurrent web servers.
  ☆105Updated 8 years ago
• antris / blockgame
  ☆10Updated 9 years ago
• hcs64 / tiramisu
  touch screen tree editor
  ☆35Updated 7 years ago
• paparga / elmish-react
  ☆12Updated 9 years ago
• reasonml-community / bs-immutablejs
  Reason + BuckleScript bindings to Immutable.js
  ☆29Updated 6 years ago
• dherman / pattern-match
  A pattern-matching DSL for JSON-like trees of data.
  ☆52Updated 11 years ago
• fantasyland / fantasy-identities
  Identity data structure.
  ☆20Updated 6 years ago