mal - Make a Lisp
☆14Jun 12, 2021Updated 5 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:
- ☆23Feb 22, 2017Updated 9 years ago
- Experiment ACI builder from packages☆12Apr 12, 2015Updated 11 years ago
- This project will accompany Part 3 of Writing an Interpreter in Object Pascal.☆18Jun 28, 2025Updated last year
- ☆13Dec 5, 2010Updated 15 years ago
- JAMA : A Java Matrix Package☆12Feb 3, 2017Updated 9 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.
- Mal (Make A Lisp) Compiler in C☆54Aug 2, 2020Updated 6 years ago
- PERWAPI is a reader writer module for .NET program executables. It has been used as back-end for progamming language compilers such as Ga…☆10Jan 23, 2020Updated 6 years ago
- ImGui DX11 Hack☆14Mar 24, 2022Updated 4 years ago
- My own Rust implementation of Mal (Make a Lisp)☆15Jul 25, 2019Updated 7 years ago
- golang stack trace parsing☆12Oct 25, 2021Updated 5 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- My second Lisp interpreter (bytecode compiler and interpreter) written in GNU C☆29Jan 23, 2019Updated 7 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 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 browser extension to parse and view epub format☆15Aug 17, 2021Updated 5 years ago
- A library for recreational number theory in MIT Scheme.☆10Feb 2, 2013Updated 13 years ago
- A curated list of awesome F-Droid applications☆12Jan 7, 2023Updated 3 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- thin Ruby wrapper around MailChimp's "Marketing" API v3☆10Jan 4, 2024Updated 2 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Help developers create APIs that can run on multiple platforms and be used with a variety of languages☆14Apr 16, 2022Updated 4 years ago
- ☆14Jul 3, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A flashcards companion app tailored for Minna no Nihongo Shokyū I & II textbooks.☆15Apr 29, 2026Updated 6 months ago
- 无界面、自启动的番茄钟，拯救眼睛 👀☆17Nov 8, 2021Updated 4 years ago
- An optimizer for the SICP scheme → register machine compiler.☆13Jul 14, 2020Updated 6 years ago
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 10 years ago
- Build your neural network easy and fast☆17Nov 7, 2018Updated 7 years ago
- Rewrite of CTime by Casey Muratori in Odin☆11Jan 30, 2020Updated 6 years ago
- ☆13May 25, 2018Updated 8 years ago
- Obsidian is a simple operating system kernel written in C++.☆13Apr 19, 2021Updated 5 years ago
- Clone of google-sparsehash☆17Sep 3, 2011Updated 15 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.
- dahliaOS brand assets☆14Nov 29, 2022Updated 3 years ago
- DonkeyKongClone☆15Mar 25, 2015Updated 11 years ago
- The HaribOS kernel☆14May 29, 2025Updated last year
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago
- Vars plugin for Ansible to retrieve AWS resource information☆12Apr 22, 2018Updated 8 years ago
- C++17 meta programming library for fast compilation speed.☆11Jul 25, 2026Updated 3 months ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago