bramstein / junifyLinks
JUnify ― JavaScript Unification Library
☆50Updated 13 years ago
Alternatives and similar repositories for junify
Users that are interested in junify are comparing it to the libraries listed below
Sorting:
- prolog interpreter in javascript☆82Updated 8 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Javascript Parser Combinator Library☆148Updated 10 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- javascript s-expression parser with quote support☆59Updated 4 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆93Updated 11 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆177Updated last year
- Finite Domain Constraint Solver☆29Updated 8 years ago
- NO LONGER IN DEVELOPMENT☆27Updated 9 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆65Updated 4 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- Runtime type checking for JavaScript☆76Updated 6 years ago
- Inductive programming in JavaScript☆25Updated 9 years ago
- Fork of HAMT with transactions and custom key types☆52Updated 8 years ago
- Logical programming in JavaScript☆15Updated 9 years ago
- Deliver the most recently seen event to new observers☆30Updated 2 years ago
- A generic zipper library for JavaScript☆29Updated 9 years ago
- Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.☆74Updated 9 years ago
- Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy☆148Updated 5 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Javascript Generalized Parser Combinators☆149Updated this week
- Creating programs from Markdown code blocks☆138Updated 3 years ago
- Javascript Hash Array Mapped Trie☆252Updated 3 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- Fast immutable data structures☆32Updated 10 years ago
- JS AST rewriter for tail call elimination☆134Updated 12 years ago
- GorillaScript is a compile-to-JavaScript language designed to empower the user while attempting to prevent some common errors.☆298Updated 12 years ago
- ES6 flavoured parser combinators☆72Updated 7 years ago
- knit-js is relational algebra for javascript☆40Updated 14 years ago