☆19Jun 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 12 years ago
- The compiler for subset of scheme developed as part of P523☆30Mar 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
- 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.
- ☆13Mar 2, 2015Updated 11 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Feb 7, 2021Updated 5 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 years ago
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- ☆27Dec 23, 2023Updated 2 years ago
- WeChat SDK for Rust. [WIP]☆18Oct 23, 2016Updated 9 years ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 6 years ago
- Common Lisp ClickHouse Client Library☆13Jun 19, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- Article about using CPS in Golang☆15Oct 14, 2021Updated 4 years ago
- The Corba and Cos* applications from OTP☆17Feb 16, 2026Updated 4 months ago
- Zig bindings for the `libuv` library☆13Jan 19, 2023Updated 3 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Dec 2, 2015Updated 10 years ago
- A Tiger compiler written in SML.☆13May 7, 2015Updated 11 years ago
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Sep 30, 2020Updated 5 years ago
- Paxos Made Simple☆20Mar 26, 2023Updated 3 years ago
- Building blocks for IndieWeb applications.☆28May 20, 2026Updated last month
- Portable threads API for Common Lisp (from GBBopen project)☆13May 23, 2021Updated 5 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆191Mar 5, 2012Updated 14 years ago
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 5 years ago
- 《告前端同学书》全文，欢迎转载。此”书“是文体，不是出版书。^^.☆15Nov 28, 2023Updated 2 years ago
- OCCA Python API: JIT Compilation for Multiple Architectures☆11Dec 20, 2019Updated 6 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Jan 27, 2011Updated 15 years 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.
- [refactor] eBPF trace language☆17Feb 1, 2026Updated 5 months ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- A toy bytecode VM, assembler, and self-hosting compiler for a scheme-like high-level language.☆17Nov 22, 2023Updated 2 years ago
- An implementation of the monkey language on Crystal☆17Jun 27, 2026Updated last week
- 一些脚本或者是学习记录☆21Dec 15, 2016Updated 9 years ago
- R7RS expander☆17Aug 18, 2021Updated 4 years ago
- LeetCode solutions in Racket.☆15Feb 3, 2025Updated last year