chluebi

chluebi's starred repositories

godot

Godot Engine – Multi-platform 2D and 3D game engine

Language:C++MIT89043 1515 52377

PayloadsAllTheThings

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

Language:PythonMIT60043 18330

vscodium

binary releases of VS Code without MS branding/telemetry/licensing

Language:ShellMIT24885 215 1275

synapse

Synapse: Matrix homeserver written in Python/Twisted.

Language:PythonApache-2.011788 245 6565

dendrite

Dendrite is a second-generation Matrix homeserver written in Go!

Language:GoApache-2.05642 104 1062

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.

Language:OCamlLGPL-2.14792 103 10012

cinny

Yet another matrix client

Language:TypeScriptAGPL-3.01873 17 712

CompCert

The CompCert formally-verified C compiler

Language:CoqNOASSERTION1853 63 279

metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq

Language:CoqMIT367 17 149

fplll

Lattice algorithms using floating-point arithmetic

Language:C++LGPL-2.1314 32 205

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

Language:OCamlMIT307 22 236

QuickChick

Randomized Property-Based Testing Plugin for Coq

Language:CoqNOASSERTION249 17 174

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Language:OCamlNOASSERTION211 8 86

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

Language:OCamlLGPL-2.1145 6 238

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

Language:CoqBSD-2-Clause126 17 57

psi

Exact Inference Engine for Probabilistic Programs

Language:JetBrains MPSBSL-1.0125 13 7

opam

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLGPL-2.1121 19 130

fpylll

A Python interface for https://github.com/fplll/fplll

Language:CythonGPL-2.0119 11 152

corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

Language:CoqGPL-2.0108 14 38

name-the-biggest-number

Language:CoqMIT62 100

coq-100-theorems

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

Language:HTMLNOASSERTION55 4 7

ocaml-flake-example

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

Language:NixNOASSERTION46 4 2

coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Language:PythonMIT38 4 116

docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

Language:DockerfileBSD-3-Clause37 7 32

hahn

Hahn: A Coq library

Language:CoqMIT29 5 9

mcoq

Mutation analysis tool for Coq verification projects

Language:JavaApache-2.028 9 4

coqpyt

Python client for coq-lsp

Language:PythonMIT22 2 15

VVZ_extension

Browser extension for VVZ (ETHZ)

Language:JavaScriptMIT8 1 1

well-typed-term-generator

A OCaml generator for well-typed terms (that use their arguments).

Language:OCaml4 30

tptp2coq

Conversion of the FOF TPTP format to Coq files

Language:HaskellMIT4 20