The Déjà Vu programming language
☆15Aug 12, 2014Updated 11 years ago
Alternatives and similar repositories for deja
Users that are interested in deja are comparing it to the libraries listed below
Sorting:
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- Formal specification of Rebol syntax☆23Mar 6, 2012Updated 14 years ago
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- Experimental Javascript Environment☆22Jun 17, 2009Updated 16 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- One part of my "this-is-why-we-cant-have-nice-thing" series☆12Dec 13, 2016Updated 9 years ago
- A programming language.☆22Oct 11, 2021Updated 4 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- A JavaScript AST optimizer☆18Apr 18, 2013Updated 12 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆18Oct 20, 2016Updated 9 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 11 years ago
- ☆12Jan 29, 2023Updated 3 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 10 years ago
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- Native inlining constant folding register allocating Forth compiler☆19Jan 19, 2016Updated 10 years ago
- A source mapping tool that visualizes a source map for ya, what else☆36Jul 9, 2016Updated 9 years ago
- Simple quiz component for solidjs and solid-start.☆11Mar 13, 2026Updated last week
- ☆71Jun 12, 2020Updated 5 years ago
- My "fork" of Adrian Thurston's syntax file☆15Dec 23, 2017Updated 8 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆12Jan 10, 2021Updated 5 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Extensible Clojure☆107Jan 18, 2016Updated 10 years ago
- Clojure lens library, implements a small subset of ekmett's lens☆12Nov 29, 2018Updated 7 years ago
- Run Clojure Programs without the JVM☆13May 5, 2019Updated 6 years ago
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 6 years ago
- A simple utility for easy sleep.☆14Jul 1, 2020Updated 5 years ago
- This program goes through an imgur album and finds all duplicate images.☆12Dec 2, 2019Updated 6 years ago
- /g/ programming language☆13Nov 9, 2011Updated 14 years ago
- Pulse Audio Cable Manager☆14Feb 12, 2023Updated 3 years ago
- A persistent confluent map for Clojure☆39Feb 26, 2016Updated 10 years ago
- Portable SIMD specification☆19Apr 24, 2017Updated 8 years ago
- Full-stack Clojure(Script) app template using Fulcro and Material-UI☆11Sep 10, 2021Updated 4 years ago
- Minimal C subset compiler☆37Mar 15, 2021Updated 5 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- An immutable database patterned after Datomic☆23May 27, 2020Updated 5 years ago