jmadiot Goto Github PK

2048

Deterministic variant of 2048

aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainers=@fakusb,@palmskog]

atbr

Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]

blank-coq-project

booklet

The definitive OwnTracks documentation

burnmpi

cats

cellauto

Automatically exported from code.google.com/p/cellauto

color

Coq library on rewriting theory and termination

coqstuff

diffbs

diffbs is a diff and sort for betaseries

geocoq

A formalization of geometry in Coq based on Tarski's axiom system

gh-minimap

Source code 💻 minimap 🗺️ extension for GitHub 🙈

github-actions-python-example

Python example project used for a github actions tutorial

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

isochrone

Draw isochrones for several ways of travelling

jmfork.github.io

jscoq

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

kriss_feed

A simple and smart (or stupid) feed reader

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocamlseamcarving

Automatically exported from code.google.com/p/ocamlseamcarving

snake

A little snake game in Nim

sum-of-two-square

Numbers equal to the sum of two square numbers

trajanasm

Automatically exported from code.google.com/p/trajanasm

trajanpascal

Automatically exported from code.google.com/p/trajanpascal

vitef

Automatically exported from code.google.com/p/vitef

vlsub

VLC extension to download subtitles from opensubtitles.org

vst

Verified Software Toolchain

www

Source files of the coq.inria.fr website (static part)

xcompose-latex

Generate entries to add to your XCompose from latex commands descriptions