z5h

bubbletea

A powerful little TUI framework 🏗

CotEditor

Lightweight Plain-Text Editor for macOS

koka

Koka language compiler and interpreter

flix

The Flix Programming Language

codel

✨ Fully autonomous AI Agent that can perform complicated tasks and projects using terminal, browser, and editor.

plzoo

Programming Languages Zoo

datatype99

Algebraic data types for C99

omnigres

Postgres as a Platform

byrne-euclid

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

kitten

A statically typed concatenative systems programming language.

diffuse

A music player that connects to your cloud/distributed storage.

Programming-Language-Benchmarks

Yet another implementation of computer language benchmarks game

MicroHs

Haskell implemented with combinators

elmboy

A Nintendo™ Game Boy™ Emulator written in Elm.

interactive-lp

Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

tracexec

Tracer for execve{,at} and pre-exec behavior, launcher for debuggers.

adsb.exposed

Interactive visualization and analytics on ADS-B data with ClickHouse

commandjobs

Command Jobs uses AI to help software engineers find the best jobs

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

clolog

Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some extra goodies.

QA-Prolog

Quantum Annealing Prolog

piskel-playdate

Fork of a simple web-based tool for pixel art and animation.

dusa

A petrifyingly good logic programming language

prettynice

Full stack web framework in Gren

natlog

Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools

binprolog

Fast, simplified WAM-based Prolog system

elm-state-interface

define an app in a simple, safe and declarative way

tap

Write TAP tests with SWI-Prolog

perfunctory_types