Cellular automata environment written in Common Lisp
☆17Apr 17, 2021Updated 4 years ago
Alternatives and similar repositories for cellular-automata
Users that are interested in cellular-automata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 6 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- CI's and patches for https://gitlab.com/gnu-clisp/clisp☆10Jul 3, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- ☆17Apr 4, 2024Updated last year
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- PWV Functional Language☆15Oct 30, 2023Updated 2 years ago
- Journey to the Center of the Lambda Calculus☆14Aug 31, 2023Updated 2 years ago
- browsing through the looking glass☆10Jul 10, 2023Updated 2 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MERA tensor network for tiny object image classification☆16Mar 31, 2022Updated 3 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated 2 months ago
- Clojure-style regular expression functions in Common Lisp☆13Feb 11, 2024Updated 2 years ago
- Jet reconstruction (reclustering) with Julia☆26Mar 13, 2026Updated 2 weeks ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Babashka pod for SQL Server☆10May 15, 2024Updated last year
- Fix for Hamachi crashing on Ubuntu 20.04 or newer☆16May 3, 2022Updated 3 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Library of functions for building Clojure projects☆14Dec 28, 2024Updated last year
- Purely Functional Data Structures☆12Mar 19, 2025Updated last year
- Requires Unreal Engine 4.20☆11Mar 11, 2020Updated 6 years ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 3 years ago
- Clojure library exposing newline delimited files as lightning fast databases☆14Feb 27, 2025Updated last year
- Shell script for piping things in and out of Emacs buffers☆25Oct 29, 2025Updated 5 months ago
- forked Christophe Rhodes's PAIProlog that an update of Peter Norvig's "Prolog in Common Lisp".☆20Feb 24, 2018Updated 8 years ago
- SLIce Processing is LISP for golang☆28Mar 20, 2026Updated last week
- 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.
- A cheat sheet and reference guide for undergraduate mathematics courses☆20May 1, 2019Updated 6 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Feb 16, 2026Updated last month
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Custom event maker for World of Horror☆13Nov 21, 2020Updated 5 years ago
- Chess + fairy chess + atomic chess + custom rules/boards/pieces + AI☆12Mar 5, 2019Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ActivityWatch watcher for Hyprland☆16Jun 3, 2025Updated 9 months ago