☆18Jun 22, 2012Updated 14 years ago
Alternatives and similar repositories for magic
Users that are interested in magic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- They contain so few lines of code, yet so few people get them right.☆40Feb 11, 2014Updated 12 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 13 years ago
- The compiler for subset of scheme developed as part of P523☆29Mar 6, 2017Updated 9 years ago
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 11 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 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.
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- ☆14Mar 2, 2015Updated 11 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆132Jan 15, 2015Updated 11 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 5 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆13Feb 7, 2021Updated 5 years ago
- An implementation of Pratt Parsing (Vaughn Pratt 1973 "Top Down Operator Precedence") in C/C++☆13May 4, 2024Updated 2 years ago
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- A small simple webserver for Self☆13May 2, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Corba and Cos* applications from OTP☆17Feb 16, 2026Updated 8 months ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- Compile JavaScript to Native Code☆29Mar 29, 2020Updated 6 years ago
- DWARF explorer☆16Jun 24, 2015Updated 11 years ago
- ⚡ The fastest line counter. At least on my computer.☆17Jul 5, 2025Updated last year
- go 个人博客系统☆10Sep 27, 2020Updated 6 years ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 5 years ago
- Source for the apl.quest site☆20Aug 26, 2026Updated last month
- DOOM Eternal patcher for modding purposes.☆12Apr 14, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Building blocks for IndieWeb applications.☆28Sep 18, 2026Updated last month
- 《告前端同学书》全文，欢迎转载。此”书“是文体，不是出版书。^^.☆15Nov 28, 2023Updated 2 years ago
- [refactor] eBPF trace language☆16Jun 30, 2026Updated 3 months ago
- a lightweight, robust, scheme-like lisp implementation☆20Mar 17, 2020Updated 6 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 11 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆191Mar 5, 2012Updated 14 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- A Tiger compiler written in SML.☆13May 7, 2015Updated 11 years ago
- A web spider written in Erlang. Initial support for document clustering.☆20Sep 8, 2008Updated 18 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An implementation of the monkey language on Crystal☆19Jul 21, 2026Updated 2 months ago
- A Common Lisp client library for the Docker Remote API☆15Jan 3, 2015Updated 11 years ago
- LeetCode solutions in Racket.☆15Feb 3, 2025Updated last year
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated last year
- 本着学习的目的,移植成Java 版☆13Aug 8, 2022Updated 4 years ago
- Renesas RL78 processor module for Ghidra☆27Jul 2, 2023Updated 3 years ago
- Useful extensions to Scala's Iterator☆12Mar 5, 2024Updated 2 years ago