brownplt / strobe
The Strobe Type Checker for JavaScript
☆15Updated 12 years ago
Alternatives and similar repositories for strobe:
Users that are interested in strobe are comparing it to the libraries listed below
- Prototype of a new constraint-logic programming language in Racket☆28Updated 10 years ago
- Semantics for ES5☆81Updated 9 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 11 years ago
- Sombrero Node☆8Updated 10 years ago
- a relational algebra library for JavaScript☆59Updated 9 years ago
- A programming language☆77Updated 11 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A fuzzy file finding Light Table plugin with style.☆32Updated 10 years ago
- Meld virtual machine.☆29Updated 9 years ago
- Node server library for AtomizeJS☆57Updated 12 years ago
- Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT☆25Updated 12 years ago
- A self-hosting Scheme to JavaScript compiler☆33Updated 15 years ago
- Semantics and tools for JavaScript☆90Updated 2 years ago
- This is my personal fork of libguestfs. Official sources: https://github.com/libguestfs/libguestfs☆9Updated 2 weeks ago
- An implementation of microKanren in Shen☆10Updated 9 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 6 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- streams in coffeescript☆22Updated 2 years ago
- XHTML combinator library☆9Updated 2 months ago
- KDB bindings for lua☆27Updated 5 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Know your algorithms cold!☆29Updated 9 years ago
- My racket things☆22Updated 12 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- clojure source code as EDN data☆26Updated 11 years ago
- Command line tool to delete cabal library packages☆25Updated 9 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Updated 5 years ago
- Reduced on-disk Suffix Array☆21Updated 11 years ago