The Déjà Vu programming language
☆16Aug 12, 2014Updated 12 years ago
Alternatives and similar repositories for deja
Users that are interested in deja are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of the Shirka programming language☆19Aug 16, 2013Updated 13 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 11 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- Luck -- A Language for Property-Based Generators☆38Feb 28, 2025Updated last year
- ☆19Dec 5, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 5 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Oct 20, 2016Updated 9 years ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 12 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 8 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Sep 23, 2012Updated 14 years ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- Native inlining constant folding register allocating Forth compiler☆19Jan 19, 2016Updated 10 years ago
- DaysSinceACryptocurrencyExchangeHasLostMoreThan100Million.com☆10Apr 25, 2019Updated 7 years ago
- Simple quiz component for solidjs and solid-start.☆11Jul 29, 2026Updated 2 months ago
- Clojure lens library, implements a small subset of ekmett's lens☆12Nov 29, 2018Updated 7 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆12Jan 10, 2021Updated 5 years ago
- IncPy: An auto-memoizing Python interpreter that enables incremental recomputation☆24Oct 4, 2010Updated 16 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Formal specification of Rebol syntax☆23Mar 6, 2012Updated 14 years ago
- ☆19Oct 18, 2018Updated 7 years ago
- Experimental Javascript Environment☆22Jun 17, 2009Updated 17 years ago
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 7 years ago
- Experimental type-checker for internally parametric type theory☆33Mar 27, 2025Updated last year
- This program goes through an imgur album and finds all duplicate images.☆12Dec 2, 2019Updated 6 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- Full-stack Clojure(Script) app template using Fulcro and Material-UI☆11Sep 10, 2021Updated 5 years ago
- socket.io parser based on JSON.stringify / JSON.parse☆14Sep 6, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- /g/ programming language☆13Nov 9, 2011Updated 14 years ago
- A persistent confluent map for Clojure☆39Feb 26, 2016Updated 10 years ago
- Pulse Audio Cable Manager☆14Feb 12, 2023Updated 3 years ago
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 years ago
- AI Memo transcript☆23Feb 2, 2014Updated 12 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 11 years ago
- A Python 3 program that allows you to change the volume with the mouse wheel using it at the four corners of the screen☆16Nov 13, 2024Updated last year