#
Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
53 repositories
🌀 Bootstrapping
45 repositories
🏗️ Build systems
11 repositories
📝 Compilation
25 repositories
🎨 Creative Tools
36 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
40 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases52 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages24 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
27 repositories
🕹️ Game Development
2 repositories
🕹️ Games
2 repositories
📐 Geometric Algebra
18 repositories
👍 Memory Safe by Default
4 repositories
🍱 Module Systems - Case Studies
3 repositories
🍱 Module Systems - Languages
12 repositories
🏡 My Stack
14 repositories
⚙️ Nix - Example Configurations
12 repositories
⚙️ Nix - Tools
32 repositories
💾 Nostalgia
28 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.50 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
6 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
21
stars
written in Prolog
Clear filter
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
Stabilizer: Rigorous Performance Evaluation
Test-driven system administration with a little extra logic.
Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, grammar check and ambiguity check of Toki Pona sentences.
A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
GavinMendelGleason / mavis
Forked from mndrix/mavisOptional types for Prolog
Implementation of dependent type theory in SWI-Prolog
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
Pawns functional/imperative programming language compiler etc
An implementation of a mini-ML written entirely in prolog
An implementation in Lambda-Prolog of the Minimalist Type Theory