☆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
- 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
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 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.
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆132Jan 15, 2015Updated 11 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- The Corba and Cos* applications from OTP☆17Feb 16, 2026Updated 6 months ago
- Zig bindings for the `libuv` library☆13Jan 19, 2023Updated 3 years ago
- Compile JavaScript to Native Code☆29Mar 29, 2020Updated 6 years ago
- ☆10Jun 28, 2015Updated 11 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Dec 2, 2015Updated 10 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.
- ⚡ The fastest line counter. At least on my computer.☆17Jul 5, 2025Updated last year
- DWARF explorer☆16Jun 24, 2015Updated 11 years ago
- go 个人博客系统☆10Sep 27, 2020Updated 5 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 years ago
- a demo learning state machine and game programming☆12Feb 2, 2024Updated 2 years ago
- Ansible-based scripts that help you quickly set up a production-ready meteor website on either a Ubuntu host or a Local Vagrant instance.☆11Apr 30, 2015Updated 11 years ago
- Source for the apl.quest site☆20Feb 16, 2026Updated 6 months ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆191Mar 5, 2012Updated 14 years ago
- 《告前端同学书》全文，欢迎转载。此”书“是文体，不是出版书。^^.☆15Nov 28, 2023Updated 2 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.
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 5 years ago
- [refactor] eBPF trace language☆16Jun 30, 2026Updated last month
- a simple, but flexible, way for anyone to stand up an instance of the edX platform that is fully configured and ready-to-go☆16Dec 30, 2024Updated last year
- Building blocks for IndieWeb applications.☆28May 20, 2026Updated 2 months ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- The website for the Hematite project☆10Mar 7, 2015Updated 11 years ago
- An implementation of the monkey language on Crystal☆19Jul 21, 2026Updated 3 weeks ago
- A Common Lisp client library for the Docker Remote API☆15Jan 3, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- LeetCode solutions in Racket.☆15Feb 3, 2025Updated last year
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated 10 months ago
- ☆15Aug 15, 2012Updated 14 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 5 years ago
- 本着学习的目的,移植成Java 版☆12Aug 8, 2022Updated 4 years ago
- Useful extensions to Scala's Iterator☆12Mar 5, 2024Updated 2 years ago
- ☆11May 27, 2019Updated 7 years ago