A miniature Prolog interpreter + compiler so I can write about it
☆11Sep 15, 2023Updated 3 years ago
Alternatives and similar repositories for Amateurlog
Users that are interested in Amateurlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design like Windows 11. Light on RAM like Windows 7. Modern rendering engine for WinForms using SkiaSharp with real blur, Glassmorphism, …☆31Nov 4, 2026Updated last week
- Simple tools for working with immutable trees☆64Jun 15, 2026Updated 4 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆13Jan 20, 2023Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Optional types for Prolog☆11Aug 14, 2018Updated 8 years ago
- A utility library intended at providing reader macros for lambdas, arrays, accessors, hash-tables and hash-sets.☆14Feb 12, 2023Updated 3 years ago
- Header-only type safe C++ template library for fast native fixed point arithmetic☆14Mar 9, 2019Updated 7 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆16Aug 16, 2021Updated 5 years ago
- C# 7 and .NET Core 2.0 High Performance, published by Packt☆13Jan 15, 2021Updated 5 years ago
- Optional types for Prolog☆19Dec 12, 2019Updated 6 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- C++ header only library for saturation arithmetic functions and always saturating types.☆17Jun 11, 2021Updated 5 years ago
- ☆30Jul 22, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extended DCG syntax for Prolog by Peter Van Roy☆22Mar 22, 2018Updated 8 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Our website☆11Dec 6, 2022Updated 3 years ago
- Example of using Vector Search algorithms for non-traditional workloads, like GIS, stock prices, and sets☆16May 10, 2023Updated 3 years ago
- Experiments with higher-kinded types and object algebras in C#☆40Aug 1, 2026Updated 3 months ago
- ☆19Nov 9, 2019Updated 7 years ago
- A couple of lambda shorthand macros☆27Apr 18, 2024Updated 2 years ago
- Anonymous lambda literal in Common Lisp, respecting Scala☆26Nov 24, 2023Updated 2 years ago
- The Stroscot Programming Language☆13Aug 22, 2026Updated 2 months 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.
- Typed, annotated vectors for well-documented datasets☆12Apr 15, 2026Updated 6 months ago
- Windows 10 Parsec server setup for an Arch Linux host☆11Aug 7, 2021Updated 5 years ago
- A mirror of the SLiM display manager☆16Jan 29, 2015Updated 11 years ago
- Interface from C# to SWI-Prolog☆28Dec 7, 2025Updated 11 months ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- a collection of best practices and useful tips around git☆14Feb 13, 2022Updated 4 years ago
- A collection of development container 'features'☆10Nov 21, 2025Updated 11 months ago
- Python data workflow toolkit combining SQLAlchemy transformations and DAG orchestration.☆11Nov 1, 2026Updated last week
- Bunnymark ported to a few languages in TIC-80 for performance testing.☆14Apr 3, 2023Updated 3 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.
- ☆10Feb 1, 2025Updated last year
- Share data with devices nearby using the MultipeerConnectivity Framework☆10Nov 15, 2021Updated 4 years ago
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10May 28, 2021Updated 5 years ago
- Temporal Dimensional Modeling☆10Sep 9, 2019Updated 7 years ago
- ☆13May 27, 2023Updated 3 years ago
- The IronMeta parser generator provides a programming language and application for generating pattern matchers on arbitrary streams of obj…☆82Jun 25, 2022Updated 4 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
Are these results useful?