David Llewellyn-Jones

lambda-calc

C 0 0

A repository for playing around with Lambda Calculus constructs

Updated 2026-10-11 14:27:33 +02:00

fosdem-2027

0 0

A place to collect documents sub projects related to FOSDEM 2027

Updated 2026-10-02 15:40:58 +02:00

symbolic

C 0 0

A library for manipulating logical expressions.

Updated 2026-08-24 22:10:41 +02:00

daeducer

C 0 0

A simple First Order Logic proof checker and generator.

Updated 2026-08-24 22:08:36 +02:00

llama-logic

C 0 0

Combining llama.cpp with logic

Updated 2026-08-19 11:15:01 +02:00

harbour-newpipe

C++ 12 5

NewPipe for Sailfish OS

Updated 2026-07-26 11:02:01 +02:00

trader

C 0 0

Trading terms

Updated 2026-06-09 01:54:53 +02:00

ai-review

Rust 0 0

Fashionably AI-generated code review using git

Updated 2026-03-07 20:35:48 +01:00

git-review

Rust 0 0

Unfashionably service-free code review using git

code-review git pull-request-review

Updated 2026-03-01 02:26:16 +01:00

fosdem26-state-of-foss-on-mobile

Typst 0 2

Presentation for FOSDEM 2026: a review of the current state of Free and Open Source Software on Mobile devices.

Updated 2026-01-31 00:51:53 +01:00

fosdem26-newpipe-sailpipe

Typst 1 0

A presentation about porting NewPipe to Sailfish OS

Updated 2026-01-30 23:18:18 +01:00

harbour-fosdem-org

QML 0 2

The FOSDEM schedule on your Sailfish OS phone

Updated 2026-01-30 08:58:43 +01:00

sudoku-paradox

Rust 0 0

Tools for the automated solving of Sudoku puzzles

Updated 2025-11-29 14:28:20 +01:00

fosdem-2026

0 0

A place to collect documents sub projects related to FOSDEM 2026

Updated 2025-11-09 21:46:54 +01:00

harbour-videotest

C++ 0 0

Project for testing QML video management on Sailfish OS.

Updated 2025-10-24 09:34:54 +02:00