Tree Style Tab, Show tabs like a tree.

Create highly reproducible python environments

Nix Packages collection & NixOS

A cat(1) clone with wings.

A port of Coq to Javascript -- Run Coq in your Browser

A Docker image for the ACL2 theorem proving system and books

Visualise which gc-roots to delete to free some space in your nix store

A modern editor with a backend written in Rust.

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover

A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

zfs backup with remote capabilities and mbuffer integration.

Rust ❤️ Emacs

C to Rust translator

The Software Analysis Workbench

command line pastebin for google appengine

Clozure Common Lisp

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

The extensible vi layer for Emacs.

Mirror of https://gitlab.com/Remmina/Remmina The GTK+ Remmina Remote Desktop Client

Integrate the Smtlink solver Z3 into the theorem prover ACL2.

ATS2: Unleashing the Potentials of Types and Templates

Beautiful, interactive visualizations of logical inference

An evil state to navigate Lisp code and modify it with smartparens

SRI Sally: A model checker for infinite-state systems.

The AI that beats you at Melee

Solver for Array Folds Logic

The MonoSAT SMT solver with a CTL model checking theory

This repo is the new home of Proof General