☆19Jun 22, 2012Updated 13 years ago
Alternatives and similar repositories for magic
Users that are interested in magic are comparing it to the libraries listed below
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 8 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 4 years ago
- Compile JavaScript to Native Code☆29Mar 29, 2020Updated 5 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 4 years ago
- Script Execution service☆12Nov 21, 2016Updated 9 years ago
- A plug-in architecture for extending Siri virtual assistant☆29Mar 30, 2014Updated 11 years ago
- Speech to Text for Android using Jetpack Compose☆11Apr 10, 2023Updated 2 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 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
- Command-line utilities for Real World OCaml☆16Jun 2, 2018Updated 7 years ago
- go 个人博客系统☆10Sep 27, 2020Updated 5 years ago
- Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR☆12Oct 4, 2024Updated last year
- OCCA Python API: JIT Compilation for Multiple Architectures☆11Dec 20, 2019Updated 6 years ago
- ☆39Aug 29, 2021Updated 4 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 4 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- The Corba and Cos* applications from OTP☆18Feb 16, 2026Updated 2 weeks 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
- A Common Lisp client library for the Docker Remote API☆14Jan 3, 2015Updated 11 years ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 6 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- DWARF explorer☆16Jun 24, 2015Updated 10 years ago
- Useful extensions to Scala's Iterator☆12Mar 5, 2024Updated 2 years ago
- Monad Comprehensions in Groovy☆28Feb 5, 2014Updated 12 years ago
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- 恋与制作人凌肖彩虹屁语音包，在你写码的时候怼到你怀疑人生☆11Aug 12, 2020Updated 5 years ago
- Octopress Grain Theme☆13Dec 23, 2017Updated 8 years ago
- Python framework code for cs173/fall 2012☆17Dec 4, 2012Updated 13 years ago
- C# Minecraft Launcher core.☆10Dec 10, 2023Updated 2 years ago
- An unofficial app for Stud.IP systems.☆12May 29, 2022Updated 3 years ago
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 4 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆135Jan 15, 2015Updated 11 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- A toy bytecode VM, assembler, and self-hosting compiler for a scheme-like high-level language.☆17Nov 22, 2023Updated 2 years ago
- JavaVM on Ruby☆50Aug 22, 2010Updated 15 years ago
- Zig bindings for the `libuv` library☆13Jan 19, 2023Updated 3 years ago