Truly independent web browser

Randomized testing for Prolog à la QuickCheck

Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.

A keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support.

"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that t…

Simple Turn-based Game

a language for building system dynamic models

FedUP (A SPARQL Federation Engine [That Builds Better Logical Plans])

Convert USB devices to PS/2 & Gameport devices with the power of Arduino 🙂

The Serenity Operating System 🐞

An APL-like programming language

detect malicious program behaviors

A Wayland native snapshot editing tool, inspired by Snappy on macOS

The TenDRA Project

A search engine which will answer to all questions

A vi-like editor based on Plan 9's structural regular expressions

Android development plugin for vim

Ghost File System or simply GhostFS

Experimental support for coroutines-based generators in Ada

Ragel State Machine Compiler

akvcam, virtual camera for Linux

The rng-tools official repository (formerly part of the gkernel project on sourceforge)

An inductive, Second-Order Prolog meta-interpreter

flexible ifup/ifdown implementation

execline syntax highlighting for vim (http:https://www.skarnet.org/software/execline/)

A simple TTY multiplexer.

Sabre is a narrative planning platform that generates stories which meet the author's goals and only contain actions that make sense for the characters who take them.

hitchhiker Prolog - an implementation of a novel virtual machine