lively.next is a personal programming kit. It emphasizes liveness, directness, and interactivity.

Advent of Code 2022 in Datalog

🖖 Prolog-style Logic Programming in pure R

A series of Datomic introduction articles, using SQL to explain certain abstract ideas

Datalog implemented in minikanren

A datalog implementation in pure Lua (LPEG parser).

A logic programming language that has features of both Datalog and answer set programming.

Research on integrating datalog & lambda calculus via monotonicity types

2D graphics in any programming language with just print statements

Quick, simple, console-width-aware object inspection for R.

A fast, minimal Forth-like interpreter core in C++ with no assembly

Fun playing around with colorForth and GreenArrays architecture.

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code.

Persistent Containers and Iterators for C++

Rhyme is an Expressive Data-Centric Query Language

The Kraken Programming Language

A compact, efficient Prolog interpreter written in plain old C.

Cuis Smalltalk version 7.8 Stable Release

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

A Bestiary of Single-File Implementations of Programming Languages

A categorical programming language with effects

A little fail-safe filesystem designed for microcontrollers

Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough …

A compiler and runtime-system for a dialect of John Backus' "FP" language.

Amber is a small, fast, self-contained array language with the working vocabulary of q/kdb+ — dictionaries, tables & keyed tables with ([]…) literal syntax, the full join family (left · inner · uni…

Isocline is a portable GNU readline alternative