Skip to content
View brendanzab's full-sized avatar
πŸ˜΅β€πŸ’«
writing elaborators
πŸ˜΅β€πŸ’«
writing elaborators

Sponsoring

@servo

Organizations

@yeslogic @rust-lang @PistonDevelopers @gluon-lang @proglangdesign @pikelet-lang

Block or report brendanzab

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

πŸ“½ Animation

5 repositories

πŸ–ΌοΈ Art

3 repositories

πŸ“œ Binary Formats

53 repositories

πŸŒ€ Bootstrapping

44 repositories

πŸ—οΈ Build systems

11 repositories

πŸ“ Compilation

23 repositories

🎨 Creative Tools

34 repositories

πŸ—„ Data Layout

3 repositories

Starred repositories

17 results for source starred repositories written in Prolog
Clear filter

TerminusDB is a distributed database with a collaboration model

Prolog 2,855 114 Updated Feb 10, 2025

Stabilizer: Rigorous Performance Evaluation

Prolog 569 46 Updated Sep 29, 2021

Embeddable Lambda Prolog Interpreter

Prolog 301 37 Updated Feb 11, 2025

An in-memory datalog implementation for OCaml.

Prolog 266 24 Updated Oct 17, 2024

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.

Prolog 49 5 Updated Oct 21, 2024

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

Prolog 28 1 Updated Oct 18, 2017

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

Prolog 18 2 Updated Nov 12, 2020
Prolog 11 2 Updated Dec 9, 2022

Shape Grammars in Prolog

Prolog 9 2 Updated Feb 7, 2019

Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output

Prolog 9 3 Updated Dec 16, 2015

Pawns functional/imperative programming language compiler etc

Prolog 9 1 Updated Dec 10, 2024

Implementation of dependent type theory in SWI-Prolog

Prolog 8 2 Updated Oct 6, 2020

An implementation of a mini-ML written entirely in prolog

Prolog 7 1 Updated Oct 27, 2017

A Hindley-Milner implementation in Prolog.

Prolog 6 Updated Sep 27, 2017

An implementation in Lambda-Prolog of the Minimalist Type Theory

Prolog 4 3 Updated Dec 8, 2018

Effect handlers implementation in Prolog.

Prolog 1 Updated Jul 5, 2016
17 results for source starred repositories written in Prolog
These Celebrity Couples Have The Most Stylish Wardrobes
image
icon
GET