A lisp dialect based on pattern matching and term rewriting
☆86Oct 12, 2024Updated 2 years ago
Alternatives and similar repositories for termlisp
Users that are interested in termlisp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆31Jul 27, 2026Updated 3 months ago
- Flexible and customizable static site generator with a lot of plugins!☆26Updated this week
- A functional, flexible and concise Lisp.☆303Aug 5, 2025Updated last year
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 3 years ago
- C plus Prolog☆169Apr 11, 2026Updated 6 months 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.
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Feb 12, 2026Updated 8 months ago
- Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax☆84Aug 7, 2026Updated 2 months ago
- Steve's Lisp Compiler.☆18Oct 5, 2026Updated 3 weeks ago
- Common Lisp library that allows to run a child process and have its input, output and error avaliable as Gray streams.☆11Feb 10, 2017Updated 9 years ago
- An introduction to the J programming language that gets to the point.☆77Dec 6, 2025Updated 10 months ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆16May 26, 2025Updated last year
- A Smalltalk in Python☆11Apr 26, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Haskell-like language for scripting and web apps☆15May 16, 2024Updated 2 years ago
- Indentation-based syntax for Clojure☆60Mar 14, 2026Updated 7 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆34Oct 18, 2017Updated 9 years ago
- A general purpose statically-typed concatenative programming language.☆59Apr 28, 2023Updated 3 years ago
- An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…☆607Oct 22, 2026Updated last week
- A core concatenative programming language with variables and first-rank polymorphic type inference☆35Mar 14, 2020Updated 6 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated 2 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- r3 virtual machine, succesor of :r4☆17Dec 31, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a sharable language☆16Jan 20, 2025Updated last year
- ☆15Sep 18, 2026Updated last month
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆180Apr 11, 2025Updated last year
- Medley Interlisp virtual machine☆163Oct 12, 2026Updated 2 weeks ago
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- Interactive software environment based on Common Lisp.☆138Sep 17, 2026Updated last month
- Stack oriented language with many APL-like features.☆40Mar 21, 2023Updated 3 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆21Jul 4, 2023Updated 3 years ago
- A cluster of bknr.datastores, replicated using the Raft consensus protocol.☆32Nov 23, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yet Another Starter Boilerplate for Common Lisp 🔥☆33Apr 22, 2025Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆13Sep 13, 2020Updated 6 years ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 years ago
- Primitive Threads and Concurrency Operations for Coalton☆17Feb 13, 2025Updated last year
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- Lisp C Compiler aka. 'Cicili' programming language, which compiles Lisp-like syntax to C code and more extra features like method, lambda…☆33May 4, 2025Updated last year
- A place to grow software.☆14Sep 12, 2026Updated last month