Beast code in Giters

Peter's starred repositories

pagefind

Static low-bandwidth search at scale

Language:RustMIT3446 19 301

RawTherapee

A powerful cross-platform raw photo processing program

Language:C++GPL-3.02791 89 5977

rakudo

🦋 Rakudo – Raku on MoarVM, JVM, and JS

Language:RakuArtistic-2.01724 114 2862

pyret-lang

The Pyret language.

Language:JavaScriptNOASSERTION1065 42 1410

Gauche

Scheme Scripting Engine

Language:SchemeNOASSERTION811 73 441

Catlab.jl

A framework for applied category theory in the Julia language

Language:JuliaMIT610 19 366

clingo

🤔 A grounder and solver for logic programs.

Language:C++MIT606 34 356

prolog-examples

Some simple examples for new Prolog programmers

Language:Prolog574 24 4

libminizinc

The MiniZinc compiler

Language:C++NOASSERTION506 39 782

lips

Scheme based powerful lisp interpreter in JavaScript

Language:JavaScriptNOASSERTION414 11 330

hakank

My public programs and models - mostly combinatorial problems and puzzles

Language:JavaScriptMIT364 45 10

star

Rakudo Star (Raku distribution)

Language:ShellArtistic-2.0265 32 115

lisprolog

Interpreter for a simple Lisp. Written in Prolog.

Language:Prolog144 70

poly

Language:TeXMIT108 20 2

CHR.js

Compile and run Constraint Handling Rules (CHR) in JavaScript

Language:JavaScriptMIT103 8 25

gprolog

GNU Prolog

Language:CNOASSERTION102 12 73

Maude

Language based on Rewriting Logic

Language:C++GPL-2.080 11 10

Prog

Language:OCaml79 70

scryer-shen

Language:RacketBSD-3-Clause39 5 1

clpb

Boolean Constraint Solving in Prolog

Language:Prolog37 7 1

packages-chr

CHR: Leuven Constraint Handling Rules

Language:Prolog23 14 6

simsttab

Simple timetabling engine for schools

Language:Prolog23 5 4

doclog

DocLog builds documentation from source code in Prolog

Language:PrologBSD-3-Clause22 3 6

sCASP

Top-down interpreter for ASP programs with Constraints

Language:PrologApache-2.021 5 8

dcic-public

Repository for (for now) filing bug reports about DCIC.

Language:Python19 5 80

dcg4pt

Extend Definite Clause Grammars for Prolog by the corresponding parse tree

Language:PrologMIT10 2 2

clingo-dl

📏 Theory propagator for difference logic using clingo's theory language and C++ API.

Language:C++MIT6 11 37

trac64

TRAC T-64 Programming Language

Language:CGPL-3.05 20

miranda

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-1986.

Language:CNOASSERTION3 2 3

prologhub

PrologHub webpage: content and generator

Language:HTMLMIT200