Easily package your Maven Java application with the Nix package manager.

mmj2 GUI Proof Assistant for the Metamath project

Create ridiculously fast Lexers

A reasoner for Input/Output logic

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

Automatically exported from code.google.com/p/spike-prover

Cyclic equational reasoning for Haskell

Cyclic theorem prover for equalitional reasoning using egraphs

An advanced keyboard manager

ErgoDox Mechanical Keyboard pcb & acrylic case

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

A cyclic theorem prover framework.

The Z3 Theorem Prover

Metamath source file for logic and set theory

Metamath program - source code for the Metamath executable

Rudimentary Roam replica with Org-mode

SMTInterpol interpolating SMT solver

Read-only mirror of GNU Guix — pull requests are ignored, see https://guix.gnu.org/en/manual/en/guix.html#Submitting-Patches instead

Nix Packages collection & NixOS

Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.

Brother laser printer driver

Apache Commons Compress

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

fresh packages delivered from your sbt console

sbt plugin adding support for source code formatting using Scalariform

Scala source code formatter

sbt plugin for scoverage

Deploy über-JARs. Restart processes. (port of codahale/assembly-sbt)