A Scheme interpreter in Python
☆14Jul 7, 2014Updated 12 years ago
Alternatives and similar repositories for scheme
Users that are interested in scheme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 13, 2026Updated 2 weeks ago
- An Unlambda Interpreter and REPL☆11Sep 27, 2018Updated 8 years ago
- Short pieces of code that are "plays" - mostly haskell, sometimes math / other things☆13Jun 26, 2022Updated 4 years ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 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.
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- thautwarm utilities.☆11Oct 16, 2018Updated 8 years ago
- library learning w egraphs☆32May 31, 2023Updated 3 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- A meta compilation framework à la Meta-II by Val Schorre☆13Apr 5, 2013Updated 13 years ago
- ☆14Feb 15, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 7 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Aug 8, 2017Updated 9 years ago
- A cross-platform C++11 implementation of the CMM language interpreter☆11Jul 18, 2025Updated last year
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- Fork of the LaTeX moderncv package to support new features (font-awesome icons, github profile)☆14Mar 20, 2013Updated 13 years ago
- ☆28Jun 18, 2020Updated 6 years ago
- A Chess engine written in Common Lisp☆11Sep 26, 2013Updated 13 years ago
- A package to draw jigsaw pieces with tikz☆14Oct 14, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of small projects to illustrate how to write plugins for Coq☆21Jan 14, 2019Updated 7 years ago
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 5 years ago
- Domain-specific language for IIR filters☆17Sep 28, 2016Updated 10 years ago
- A "implementation" of Girard's paradox in OCaml☆113Apr 7, 2015Updated 11 years ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- Implementation of "A Lineage-Based Referencing DSL for Computer-Aided Design", PLDI 2023☆17Jun 20, 2023Updated 3 years ago
- ☆10Jun 6, 2015Updated 11 years ago
- Rust implementation of Chess using WebSockets☆11May 7, 2016Updated 10 years ago
- A Scala equality saturation library☆21Sep 11, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Basic replacement of Composer, the Dependency Manager for PHP☆15Dec 3, 2014Updated 11 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 7 years ago
- lxc-0.8.0 binaries which are statically linked for non-libc ARM platforms like Android☆15Sep 22, 2013Updated 13 years ago
- An Internet Chess Server supporting Chess variants (based on Lasker-2.2.3)☆12Oct 29, 2021Updated 5 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Aug 13, 2019Updated 7 years ago
- Package for using the Mailchimp API in Haskell☆14Aug 23, 2013Updated 13 years ago
- Relay between Telegram and WeChat☆20Feb 10, 2022Updated 4 years ago