☆27Aug 14, 2015Updated 11 years ago
Alternatives and similar repositories for minigrace
Users that are interested in minigrace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 16, 2021Updated 4 years ago
- Zig bindings for Lean4☆13Jan 18, 2024Updated 2 years ago
- Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constrain…☆11Sep 27, 2023Updated 3 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Aug 24, 2018Updated 8 years ago
- Metamath in C++☆15Jun 4, 2019Updated 7 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.
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆52Sep 4, 2021Updated 5 years ago
- A lightweight, embeddable scripting language☆15Mar 26, 2022Updated 4 years ago
- An object-oriented programming language that thinks functionally☆10Mar 23, 2026Updated 7 months ago
- mxass, a cross assembler that targets Commodore 64-like platforms (6502/65816/Z80)☆26Dec 6, 2014Updated 11 years ago
- Filesystem utility library and SDK☆31Sep 25, 2017Updated 9 years ago
- An experimental go ORM☆12Apr 26, 2010Updated 16 years ago
- A Ruby DSL for concatenative programming☆13Apr 19, 2009Updated 17 years ago
- Convert System View Description (svd) files to Zig headers for baremetal development☆21Feb 6, 2024Updated 2 years ago
- A 3D dungeon scene☆11Aug 24, 2015Updated 11 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.
- programs, including busybox, statically linked for the initial ram disk☆12Dec 27, 2025Updated 10 months ago
- Pure-Go farbfeld encoder and decoder.☆13Dec 22, 2018Updated 7 years ago
- An interpreter for the Mistral language.☆19Aug 29, 2017Updated 9 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago
- functional programming language 2☆10Jul 18, 2013Updated 13 years ago
- A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomo…☆13May 27, 2009Updated 17 years ago
- Slides and source code for a introductory talk about compilers I gave at Revision 2013☆15Oct 22, 2018Updated 8 years ago
- Pandoc compatible Javascript markdown syntax parser☆13Jul 15, 2017Updated 9 years ago
- A concatenative, functional programming language and environment written in JavaScript.☆12Jun 11, 2011Updated 15 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A puzzle game made with Babylon.js☆12Nov 20, 2015Updated 10 years ago
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 15 years ago
- simple go language runner☆11Dec 24, 2009Updated 16 years ago
- elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.☆15Mar 3, 2013Updated 13 years ago
- Enencumbered allows Cucumber to support step definitions written in D☆16Jul 10, 2016Updated 10 years ago
- 📚 Publish stylish documents and digital gardens from Markdown☆15Apr 28, 2026Updated 6 months ago
- A tiny Emacs library for quick manipulation of textual checkboxes☆12Apr 5, 2015Updated 11 years ago
- Total Categorical Functional Language for C++☆14Jan 28, 2013Updated 13 years ago
- Write infrastructure once, compile it to Kubernetes, Compose, or GitHub Actions☆16Sep 4, 2026Updated last month
- 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.
- Script to implement a history of the seen approach for some news sites.☆12Jun 10, 2015Updated 11 years ago
- Two-piece FTP server☆17Feb 4, 2015Updated 11 years ago
- 黒文字のEmacsプラグインです☆12Oct 5, 2015Updated 11 years ago
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- Concatenative Language☆15Aug 15, 2009Updated 17 years ago
- Best practices in Makefile construction. Avoid recursion and absolutely minimize per-file and per-directory noise.☆13Jul 10, 2010Updated 16 years ago
- Mutagen, a purely functional programming language with Pythonic syntax☆15Aug 31, 2020Updated 6 years ago