☆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.☆41Feb 11, 2014Updated 12 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 13 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 5 years ago
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 11 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.
- Computes sum of selected numbers☆10Aug 21, 2015Updated 11 years ago
- SICSthSense Suite☆14May 26, 2016Updated 10 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Analysis of Racket code base☆13Aug 27, 2020Updated 6 years ago
- Typed Racket data structure libraries☆61Nov 5, 2021Updated 5 years ago
- Boris The (Web) Spider☆13Nov 18, 2013Updated 12 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- A collection of notes for the WDI JULY Cohort☆12Sep 16, 2014Updated 12 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Jul 19, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Mar 2, 2015Updated 11 years ago
- android开发框架☆19May 21, 2013Updated 13 years ago
- [Deprecated]【废弃，已不适用于新版本的android系统】Android通知栏消息工具类。A lite of “pugnotification” for creating notifications in android platform.☆21Nov 22, 2015Updated 10 years ago
- A DSL for parsing and assembling binary data.☆14Sep 1, 2026Updated 2 months ago
- Enable UPI payment in your Android App. Along this know how to create custom Intent chooser with fix Android App.☆17Sep 15, 2018Updated 8 years ago
- Exploration of the inner workings of Racket☆19Jul 22, 2016Updated 10 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago
- ECMAScript for Racket☆20Dec 9, 2021Updated 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…☆13Feb 7, 2021Updated 5 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.
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆132Jan 15, 2015Updated 11 years ago
- Logic☆12Sep 24, 2025Updated last year
- Racket implementation of Mustache templates☆18May 27, 2015Updated 11 years ago
- Dyalog APL implementation of a 3D ray tracer☆12Oct 31, 2019Updated 7 years ago
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- ☆80Mar 10, 2025Updated last year
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- A lightweight personal wiki in Racket☆19May 19, 2017Updated 9 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 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.
- theirs code too long, try this one.☆11May 29, 2014Updated 12 years ago
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Aug 2, 2022Updated 4 years ago
- Redis, but in Zig☆14May 9, 2024Updated 2 years ago
- An implementation of Pratt Parsing (Vaughn Pratt 1973 "Top Down Operator Precedence") in C/C++☆13May 4, 2024Updated 2 years ago
- Zig bindings for the `libuv` library☆13Jan 19, 2023Updated 3 years ago
- Small portable regex in C (cbmc verified, and extended)☆14Jun 6, 2023Updated 3 years ago
- Article about using CPS in Golang☆15Oct 14, 2021Updated 5 years ago