A combinator-based virtual machine with a repl.(Written in C)
☆10Feb 11, 2023Updated 3 years ago
Alternatives and similar repositories for CombVM-C
Users that are interested in CombVM-C are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Apr 10, 2024Updated 2 years ago
- Prune is a constraint logic programming language with branching heuristic.☆43Oct 3, 2026Updated 2 weeks ago
- A modern functional programming language with effect system.☆18Apr 21, 2024Updated 2 years ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated last year
- Lisp interpreter in assembly☆20Feb 16, 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.
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 4 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆18Jun 25, 2022Updated 4 years ago
- Exposing the ESP32 platform on the internet, made... well less painful☆11Aug 24, 2026Updated last month
- The official j-- base compiler☆13May 4, 2025Updated last year
- ☆10Sep 22, 2017Updated 9 years ago
- A Rust library that provides a flexible way to construct and extend the recursive function.☆17Jan 11, 2020Updated 6 years ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Exporting a 3d surface to a STL format file in python☆14May 2, 2020Updated 6 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 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.
- The Scheme Programming Language - ZhCN☆42Feb 8, 2025Updated last year
- A function to plot barchart in 3D in plotly☆12Oct 12, 2026Updated last week
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆36Oct 13, 2026Updated last week
- ☆14Oct 30, 2024Updated last year
- A powerful MoonBit HTTP Client☆22Sep 20, 2026Updated 3 weeks ago
- A terminal text editor written in MoonBit☆10Apr 7, 2025Updated last year
- Parser in Java for Lisp S-expressions.☆14Apr 24, 2026Updated 5 months ago
- The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.☆14Apr 11, 2026Updated 6 months ago
- Play a spatialized sound whenever you press and release a keyboard button. 10,000 downloads on Softpedia!☆23May 17, 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.
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- A Scheme to WAT/WASM compiler in spirit of SICP exercises 5.49-52☆20Apr 30, 2026Updated 5 months ago
- 喜鹊派员工餐配方存档☆12Jun 13, 2024Updated 2 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago
- A Tiny, Friendly Companion to LLVM☆48Jan 12, 2026Updated 9 months ago
- ☆20Updated this week
- RowScript programming language, making a better browser world☆127Jun 3, 2026Updated 4 months ago
- implementation of scheme by Abdulaziz Ghuloum☆13Oct 11, 2011Updated 15 years ago
- 学习mbedtls时基于STM32编写的大量Demo☆19Oct 4, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The place for submitting new articles to the Serokell blog.☆17Updated this week
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Jun 20, 2023Updated 3 years ago
- Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml☆56Jul 29, 2024Updated 2 years ago
- ☆14Jan 6, 2023Updated 3 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- LLVM frontend for Yot - a toy language☆28Jun 21, 2020Updated 6 years ago
- A Wasm VM written in MoonBit☆45Jul 20, 2026Updated 2 months ago