☆71Jun 12, 2020Updated 5 years ago
Alternatives and similar repositories for enso
Users that are interested in enso are comparing it to the libraries listed below
Sorting:
- experimental computational medium and supporting tools☆23Feb 25, 2026Updated last week
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 5 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Aug 16, 2023Updated 2 years ago
- A analysis tool for Ruby that adds optional static typing☆37Mar 11, 2011Updated 14 years ago
- Yet Another Software Language Repository☆19Jan 25, 2026Updated last month
- GPL licensed J interpreter☆38Jun 20, 2016Updated 9 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Dec 20, 2022Updated 3 years ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- A simplified CLOS (Common Lisp Object System) for Parenscript☆58Jan 20, 2013Updated 13 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- Generic Little System☆17May 5, 2024Updated last year
- A Perl 6 Implementation☆21Mar 5, 2012Updated 14 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- An (incomplete) Common Lisp implementation of the iCalendar RFC5545 specification.☆14Apr 19, 2019Updated 6 years ago
- My personal dot files☆10Sep 13, 2022Updated 3 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- OpenGL and GPU debugging utilities☆14Oct 21, 2012Updated 13 years ago
- JavaScript and Objective-J compiler☆15Jul 5, 2016Updated 9 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
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- A full-featured IRC bot in Common Lisp☆17May 15, 2025Updated 9 months ago
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- (MOVED TO CODEBERG) A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Sep 22, 2020Updated 5 years ago
- Running the code you want to write as fast as the code you have to write☆140Oct 16, 2016Updated 9 years ago
- Learning Finite State Machine Models from Data with a Genetic Algorithm☆11Dec 1, 2025Updated 3 months ago
- Discussion Seminar: Philosophy of Programming Lanugages☆14Jul 20, 2014Updated 11 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- 🔍 Code Search Tools & Experiments☆12Updated this week
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 3 weeks ago
- ☆15Mar 7, 2018Updated 7 years ago
- ☆11Jul 20, 2017Updated 8 years ago
- A diff tool that highlights changes at the token (rather than line) level☆13Dec 19, 2022Updated 3 years ago