Tool for conducting systematic literature reviews and mapping studies

CLP(BNR) module for SWI-Prolog

Embed the Power of Lua into NGINX HTTP servers

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…

A first-order concurrent automated theorem prover

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

A Python API for SuperCollider

The Ipe extensible drawing editor

Immutable tree data structure in Python, with utilities to build, traverse, edit, and serialize trees

Transductive regular expressions

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

schej helps you quickly find the best time for your group to meet. It's like When2meet with Google Calendar integration!

A scrollable-tiling Wayland compositor.

Open-source repository of Orbiter Space Flight Simulator

Bootstrapping LISP in a Boot Sector

Download, model, analyze, and visualize street networks and other geospatial features from OpenStreetMap.

Proofs in Coq for the book Reflective Programs in Tree Calculus

Server to host lean games.

Nyxt - the hacker's browser.

The glucose SAT solver

A toolkit for SAT-based prototyping in Python

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

ISG lets you use YouTube as cloud storage for ANY files, not just video

Run applications through VPN tunnels with temporary network namespaces

Seer - a gui frontend to gdb

Builds stenography lessons for Typey Type for Stenographers

ElKowars wacky widgets

A small python-driven virtual asm

Embedded Steno Engine