226 Open source projects that are alternatives of or similar to coq-art

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

My Golang training material for testing smaller Go concepts and ideas.

Formalization of the polymorphic lambda calculus and its parametricity theorem

Example based guide for text processing with perl from the command line

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

Mutation analysis tool for Coq verification projects

A book of questions for practise in Rust

Formalization of the basic actuarial mathematics using Coq

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

Partial Commutative Monoids

Archive for all Coq related OPAM packages organized in various repositories

The formal proof of the Odd Order Theorem

Scala 3 workshop presenting the top new features of the language.

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Source code and solutions of exercises to The C Programming Language 2nd Edition by Brian W. Kernighan and Dennis M. Ritchie

Jupyter kernel for Coq

Code examples and exercises for Safari LiveTraining course.

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Coq to OCaml FFI made easy [maintainer=@lthms]

No description or website provided.

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Course on Dynamic Stochastic General Equilibrium (DSGE): Models, Solution, Estimation (graduate level)

Matlab package for learning to specify, compute, and estimate dynamic discrete choice models

deep learning: theory + practice

A workshop on Node.js Streams

PacktPub "Mastering Functional Programming with JavaScript" video course materials

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Learn System Design step by step

Python 3 - Curso em Vídeo

Repo containing exercises to learn Elixir

Convert Haskell source code to Coq source code.

Exercises for Rithm School's free online React Fundamentals course

Information Retrieval algorithms developed in python. To follow the blog posts, click on the link:

A minimalistic blockchain consensus implemented and verified in Coq

Materials for Docker Advanced training

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

Learn Ruby Regexp step by step from beginner to advanced levels with plenty of examples and exercises

A framework for implementing and certifying impure computations in Coq

Formalization of Typed Assembly Language (TAL) in Coq

Small exercises to get you used to reading and writing Julia code!

A core language for rule-based hardware design 🦑

Mais de 100 exercícios resolvidos do curso de fundamentos de Python 3, ministrado pelo prof. Gustavo Guanabara do Curso em Vídeo.

Stable sort algorithms and their stability proofs in Coq

A library of mechanised undecidability proofs in the Coq proof assistant.

XAI Tutorial for the Explainable AI track in the ALPS winter school 2021

No description or website provided.

Reference sheet for the Coq language.

Workshop: Micromagnetics with Ubermag

Gallina to Bedrock2 compilation toolkit

CyberQueens lesson materials - learning resources and exercises for aspiring reverse engineers, exploit developers, and hackers 👩‍💻👨‍💻

Template project for program verification in Coq

Coq plugin embedding elpi

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

Build Java applications with the application programming model on SAP Cloud Platform.

Open Public Domain Exercise Dataset in JSON format

vAPI is Vulnerable Adversely Programmed Interface which is Self-Hostable API that mimics OWASP API Top 10 scenarios through Exercises.