A minimalistic and high-performance SAT solver

Export messages from Signal Desktop

a pure CSS lightbox (now with JavaScript).

mini-dalle in OCaml

A manager for TLA+ projects, written in Rust.

Selected Papers of Dana S. Scott

GeoGebra apps (mirror)

All bug reports, planned features, ideas & milestones for gw2efficiency

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Timewarrior - Commandline Time Tracking and Reporting

Parser and printer for date-times in ISO8601

(Grease|Violent)monkey Userscripts

Firefox privacy, security and anti-tracking: a comprehensive user.js template for configuration and hardening

Introduction to the Coq proof assistant

Simple WebExtension for detecting ws connection

Lightweight document

A part-of-speech tagger with support for domain adaptation and external resources.

FNA - Accuracy-focused XNA4 reimplementation for open platforms

An SMT-LIB parser in Prolog

A language server for TeX and friends

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

Testing and benchmarking tool for logic-related programs.

Minimal HTTP server using good old threads + blocking IO, with a small request router.

Franz is a free messaging app for services like WhatsApp, Slack, Messenger and many more.

A third-party, open-source ProtonMail CardDAV, IMAP and SMTP bridge

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

bibtexconv Git Repository

SeaHorn Verification Framework

Read-only mirror of https://codeberg.org/PassFF/passff-host Pull requests and issues on GitHub cannot be accepted and will be automatically closed.

A (parametrized) Rust SAT solver originally based on MiniSat