Open source and updatable JLPT Vocabulary Anki Decks

Topos theory in lean

Improve your Baduk skills by training with KataGo!

Main source code repository of the Tamarin prover for security protocol verification.

An elegant Go board and SGF editor for a more civilized age.

GTP engine and self-play learning in Go

Coq formalization of Clerical

A Coq library with verified interval and polynomial model arithmetic

Command-like expressions for real infinite-precision calculations

Library to parse and work with the C++ AST

An introductory course to Homotopy Type Theory

Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany

Exercices and Examples for the PC'19 Autumn school

Module for randomly generated real numbers, complex numbers, matrices in iRRAM.

Code that EXACTLY computes Haar integral on SO(3) using iRRAM library on C++

A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)

Exact real arithmetic in C++

Iterating the logistic map with different computation precisions