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

A workshop on Node.js Streams

The Vellvm (Verified LLVM) coq development.

PacktPub "Mastering Functional Programming with JavaScript" video course materials

FSCQ is a certified file system written and proven in Coq

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.

Metaprogramming in Coq

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

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Learn System Design step by step

Recipe for FPGA cooking

Python 3 - Curso em Vídeo

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT

Repo containing exercises to learn Elixir

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Convert Haskell source code to Coq source code.

A work-in-progress language and compiler for verified low-level programming

Exercises for Rithm School's free online React Fundamentals course

A library for formalizing Haskell types and functions in Coq

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

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

Porn browser formally-verified in Coq

Proof of concept to generate safe and fast JavaScript

formalization of the Dependent Object Types (DOT) calculus

Materials for Docker Advanced training

Mostly Automated Synthesis of Correct-by-Construction Programs

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

Coq formalizations of functional languages.

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

Interactive Coq Proofs in Vim

A framework for implementing and certifying impure computations in Coq

Verified hash-based AMQ structures in Coq

Formalization of Typed Assembly Language (TAL) in Coq

A library of Coq definitions, theorems, and tactics. [[email protected],@liyishuai]

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

PeaCoq is a pretty Coq, isn't it?

A core language for rule-based hardware design 🦑

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

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

Coq Support for Visual Studio Code

Stable sort algorithms and their stability proofs in Coq

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

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

Formalising Type Theory in a modular way for translations between type theories

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

SoftwareFoundations(Ja)

No description or website provided.

RISC-V Specification in Coq

Reference sheet for the Coq language.

A compiler plug-in to control object lifetimes in Scala

Workshop: Micromagnetics with Ubermag

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

The Penn Locally Nameless Metatheory Library

Gallina to Bedrock2 compilation toolkit

eXercise Sheets IMproved

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.

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]