224 Open source projects that are alternatives of or similar to Parseque

Yay is a high level PHP preprocessor

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

CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

A Coq IDE build on top of Proof General's Coq mode

Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

C#'s fastest parser combinator library

Verified vector clocks, with Coq!

✨Zero Dependency Parser Combinator Library for JS Based on Haskell's Parsec

A simple implementation of Yet another script language Chtholly

Coq proofs of exercises in Pierce's book

Verified Software Toolchain

Coq executable semantics and resource verifier

Rust parser combinator framework

Create complex parsers by combining simple ones with Parsel!

simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module

Combinatorial species in HoTT

Parser combinators built for speed and memory efficiency

An exceptionally fast parser combinator library for Scala

Cryptographic Primitive Code Generation by Fiat

Automation for de Bruijn syntax and substitution in Coq

PEG parser combinators using operator overloading without macros.

sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility

Convert Haskell source code to Coq source code

Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

Certified Relational to Imperative

Boost.org spirit module

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

KCoFI Pudding: The formal proofs for the KCoFI system

A tool for structural code search and replace that supports ~every language.

An axiom-free formalization of category theory in Coq for personal study and practical work

Formalisation of the linear lambda calculus in Coq

《软件基础》中译版 Software Foundations Chinese Translation

Implementation of Nuprl's type theory in Coq

Cosette is an automated SQL solver.

Coq code accompanying several articles on semantics of functional programming languages

A framework for formally verifying distributed systems implementations in Coq

Implementation of sprintf for Coq

Formal Reasoning About Programs

An introductory tutorial for the Coq proof assistant.

翻译、开发心得或学习笔记

The CompCert formally-verified C compiler

This repo is the new home of Proof General

Formalization of C++ for verification purposes.

Mathematical Components

A Hello World program in Coq.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

A parser combinator library for Rust

Tricks you wish the Coq manual told you

Bidirectional programming in Haskell with monadic profunctors

An introductory course to Homotopy Type Theory

A simple parser combinator library for Ocaml

A gently curated list of companies using verification formal methods in industry

A self-hosting mini Haskell compiler with a mini C runtime.

Coq plugin for parametricity [[email protected]]

Homotopy type theory

A JavaScript parser combinator library inspired by Parsec of Haskell.

A Coq library for extensional finite sets and comprehension