awto / mfjs-logic

Related projects: ⓘ

• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 11 years ago
• pmros / graflow
  ☆60Updated this week
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated last year
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 9 years ago
• soney / interstate
  ☆53Updated 3 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆51Updated 7 years ago
• tailhook / khufu
  A template language for incremental-dom or DSL for javascript views
  ☆20Updated 6 years ago
• ramda / ramda-logic
  ramda logic
  ☆43Updated last year
• robey / packrattle
  ☆51Updated this week
• Gozala / js-tail-call
  JS tail recursion shim through trampolining
  ☆37Updated 12 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated last year
• davidchambers / nucleotides
  The building blocks of JavaScript programs
  ☆32Updated 6 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 12 years ago
• briancavalier / most-behave
  Experimental continuous Behaviors for most.js
  ☆32Updated 4 years ago
• phadej / typify-parser
  Type signature parser for typify
  ☆9Updated 4 years ago
• the-grid / finitedomain
  Finite Domain Constraint Solver
  ☆29Updated 7 years ago
• erykpiast / autocompleted-select
  Select Web Component with autocompletion. Based on RxJS and VirtualDOM.
  ☆12Updated 9 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 9 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆94Updated 10 years ago
• haskellcamargo / hindley-milner-js
  Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS
  ☆17Updated 6 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆56Updated 3 years ago
• monastery-dating / lucidity-LEGACY
  Single repository for all packages related to Lucidity app
  ☆13Updated 6 years ago
• codemix / reign
  A persistent, typed objects implementation for node.js and the browser.
  ☆23Updated 8 years ago
• smallhelm / level-fact-base
  Store immutable facts and query them with datalog.
  ☆48Updated last year
• gritzko / swarm-ron
  ☆22Updated this week
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 5 years ago
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆28Updated 11 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 5 years ago