A computer algebra system written in pure Python

A dependently typed programming language, a successor to Idris

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

Communication between Coq and SAT/SMT solvers

Tricks you wish the Coq manual told you [maintainer=@tchajed]

A Coq IDE build on top of Proof General's Coq mode

Cryptographic Primitive Code Generation by Fiat

Verified Software Toolchain

This repo is the new home of Proof General

Fast math typesetting for the web.

Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Solve and estimate Dynamic Stochastic General Equilibrium models (including the New York Fed DSGE)

JavaScript Style Guide

Python binding to the Networking and Cryptography (NaCl) library

The first (and only) Hy unit testing framework

Python package for Atom

A simple IPython kernel for Hy

A dialect of Lisp that's embedded in Python

A small, fast, native lisp with "magical" powers

Cryptol: The Language of Cryptography

Stanford Javascript Crypto Library

A high performance ruby, written in RPython

The Crystal Programming Language