Lua implemented in Mercury
☆15Mar 17, 2024Updated 2 years ago
Alternatives and similar repositories for Apollo-lander
Users that are interested in Apollo-lander are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A package manager for the Mercury logic programming language.☆18Jan 23, 2020Updated 6 years ago
- A Mercury JSON library.☆21Mar 13, 2026Updated last week
- A Mercury CSV library.☆13Feb 18, 2026Updated last month
- ☆10Aug 29, 2018Updated 7 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- C++ entity component framework☆14Apr 22, 2019Updated 6 years ago
- FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.☆12Jan 26, 2016Updated 10 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- A little library of bit-based data structures.☆21Sep 7, 2025Updated 6 months ago
- HTTP(S) client for PicoLisp☆14Mar 8, 2017Updated 9 years ago
- Toolkit for constructing, analyzing, and visualizing data-driven ontologies☆20Jun 21, 2019Updated 6 years ago
- ☆12Apr 26, 2025Updated 10 months ago
- An implementation of a lexically scoped, referentially transparent, minimal Lisp with some added features☆10Mar 30, 2022Updated 3 years ago
- N0tes to the rescue!☆11Mar 1, 2019Updated 7 years ago
- Eiffel JSON library☆18Aug 26, 2020Updated 5 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course☆18Mar 24, 2017Updated 8 years ago
- ☆41Aug 9, 2014Updated 11 years ago
- Unit Testing framework for PicoLisp☆22Sep 10, 2020Updated 5 years ago
- Nanomsg FFI Bindings for PicoLisp☆20Dec 12, 2021Updated 4 years ago
- A few Clio examples☆14Oct 11, 2021Updated 4 years ago
- Plasma Programming Language☆167Feb 2, 2026Updated last month
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- An plugin for the prologue web-framework of the nim-language. Provides an admin interface☆27Oct 27, 2023Updated 2 years ago
- Levenshtein algorithm CLI☆11Jun 16, 2020Updated 5 years ago
- Julia wrapper for the raylib videogames programming library☆35Aug 17, 2023Updated 2 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 3 years ago
- Perverse implementations of safe Rust traits☆22Dec 21, 2025Updated 3 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- A wrapper around the Vulkan graphics API.☆14Feb 23, 2018Updated 8 years ago
- A list of compilers with some metadata.☆12May 31, 2024Updated last year
- Nim GUI Library☆13Oct 19, 2021Updated 4 years ago
- ☆12Aug 12, 2019Updated 6 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- A Halmak support module for the TypeFu app☆11Nov 3, 2019Updated 6 years ago
- A collection of all my single-header libraries.☆17Dec 22, 2023Updated 2 years ago
- ☆27Sep 11, 2025Updated 6 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆45Mar 9, 2026Updated 2 weeks ago