zunction Goto Github PK

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

blog-source

casper-cbc-proofs

Repo for protocol verification of Casper Correct-By-Construction

coloringrobots

Testing environment for coloring robots

computation-alg

computer-assisted-knime-grading

coq-github-action

coq-ltac-iter

Access hint databases from tactics.

coq-program-verification-template

Template project for program verification in Coq

coq-temporal

An implementation of temporal logic in Coq using Charge!

coqy

All my Coq stuff lives here.

cosette

Cosette is an automated SQL solver powered by Coq and Rosette.

dash-object-detection

Dash Demo App - Object Detection Application, using MobileNet v1

delimiter-separated

Haskell library for dealing with tab and/or comma (or other) separated files

deriving

Class instances for Coq inductive types with little boilerplate

docker-coq-github-action-demo

Demo of a regular Coq project using docker-coq-action as CI setup

heterogenous-list-in-coq

homeworktex

homework that are submitted in tex inhabit this repository

homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

hott

Homotopy type theory

latex-beamerposter

The LaTeX beamerposter package

learn-git

An introduction to collaboration using Git and Github

learningalgebraicvarieties

logitext

Beautiful, interactive visualizations of logical inference

mask_rcnn

Mask R-CNN for object detection and instance segmentation on Keras and TensorFlow

math-comp

Mathematical Components

mini-tt

mirror of A simple type-theoretic language: Mini-TT

ml-rn-project

RN project for ML

mmpf

massive mpf

ngc-examples

Simple examples to get started with NGC