hypirion / pvec-perf
Persistent vector performance measurements and analysis
☆22Updated 9 years ago
Related projects: ⓘ
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 2 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Updated 11 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- RRB-tree implemented as a library in C.☆164Updated 9 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- An implementation of Hindley-Milner in Clojure.☆166Updated 10 years ago
- Data structure for efficient fitness-proportionate selection.☆24Updated 7 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 10 years ago
- Clojure program to exhaustively search for optimal Java programs☆20Updated 12 years ago
- ☆20Updated 5 years ago
- Artifact accompanying our OOPSLA'15 publication.☆32Updated last year
- a minimal implementation of incremental computation in Scheme☆36Updated 7 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆154Updated 6 months ago
- A compiler from Clojure to Go.☆46Updated 10 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆67Updated last year
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- An R6RS framework for creating compilers that target C.☆113Updated 8 years ago
- Property-based testing with inputs defined as EBNF grammars☆28Updated 4 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆26Updated 5 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆60Updated 8 years ago
- A statically typed, functional Lisp, building upon Clojure☆78Updated 7 years ago
- Support Frege compiler via leiningen☆32Updated 8 years ago
- Simple TODO web-app using Vert.x as server☆16Updated 7 years ago
- Clojure data structures for performance metrics over discrete time intervals.☆118Updated last year
- Moon☆58Updated 10 years ago
- Meta-circular Clojure STM implementation☆67Updated 9 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 5 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago