mal - Make a Lisp
☆14Jun 12, 2021Updated 4 years ago
Alternatives and similar repositories for mal-cpp
Users that are interested in mal-cpp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This project will accompany Part 3 of Writing an Interpreter in Object Pascal.☆17Jun 28, 2025Updated 11 months ago
- ☆23Feb 22, 2017Updated 9 years ago
- Clone of google-sparsehash☆17Sep 3, 2011Updated 14 years ago
- My second Lisp interpreter (bytecode compiler and interpreter) written in GNU C☆29Jan 23, 2019Updated 7 years ago
- ☆13Dec 5, 2010Updated 15 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- My own Rust implementation of Mal (Make a Lisp)☆15Jul 25, 2019Updated 6 years ago
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- a browser extension to parse and view epub format☆15Aug 17, 2021Updated 4 years ago
- Experiment ACI builder from packages☆12Apr 12, 2015Updated 11 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Mal (Make A Lisp) Compiler in C☆53Aug 2, 2020Updated 5 years ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Help developers create APIs that can run on multiple platforms and be used with a variety of languages☆14Apr 16, 2022Updated 4 years ago
- Unix utilities commands (an alternative to GNU Coreutils)☆11Feb 6, 2023Updated 3 years ago
- golang stack trace parsing☆12Oct 25, 2021Updated 4 years ago
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 9 years ago
- ☆13May 25, 2018Updated 8 years ago
- ☆12Feb 9, 2022Updated 4 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- The HaribOS kernel☆14May 29, 2025Updated last year
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 14 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A curated list of awesome Python frameworks, libraries, software and resources☆12Oct 17, 2018Updated 7 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- 无界面、自启动的番茄钟，拯救眼睛 👀☆16Nov 8, 2021Updated 4 years ago
- ☆14Jul 3, 2023Updated 2 years ago
- The SNES Top Gear game made in Allegro 5☆15Nov 20, 2021Updated 4 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Build your neural network easy and fast☆16Nov 7, 2018Updated 7 years ago
- Builds a data science work environment for Russell Jurney's book Agile Data Science.☆46Jul 31, 2014Updated 11 years ago
- DonkeyKongClone☆15Mar 25, 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.
- Obsidian is a simple operating system kernel written in C++.☆14Apr 19, 2021Updated 5 years ago
- thin Ruby wrapper around MailChimp's "Marketing" API v3☆11Jan 4, 2024Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- dahliaOS brand assets☆14Nov 29, 2022Updated 3 years ago
- Vars plugin for Ansible to retrieve AWS resource information☆12Apr 22, 2018Updated 8 years ago
- TextMate support for CMake☆20May 10, 2024Updated 2 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago