Realtime sync for Postgres.

Natural language tactics to teach mathematics using Lean 4

A stream-based runtime-verification framework for generating hard real-time C code.

Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming

Build and run containers leveraging NVIDIA GPUs

Deep universal probabilistic programming with Python and PyTorch

A tool to verify Curry operations as non-failing

Open source re-implementation of Tomb Raider I and Tomb Raider II, along with additional enhancements and bugfixes

Improve keyboard comfort and usability with advanced customization

Default UI for the Atom Linter package

Layout algorithms for visualizing directed acyclic graphs

A diy midi dj controller using an arduino

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

An HTML to PDF library for the JVM. Based on Flying Saucer and Apache PDF-BOX 2. With SVG image support. Now also with accessible PDF support (WCAG, Section 508, PDF/UA)!

Easily serialize Data Classes to and from JSON

Visual tool to explore SQLite databases page-by-page, the way they're stored on disk and the way SQLite sees them.

A statically typed programming language for scientific computations with first class support for physical dimensions and units

blueprint for prime number theorem and more

Syntax for those who hate parenthesis

Self-hosted Responsive Web UI for Taskwarrior based on Vue.js and Koa.js

Minimalistic web UI for Task warrior

pushState + ajax = pjax

The Twelf Programming Language

A tool to display videos and SDL content as a wallpaper on linux minimalist window managers using Xorg