Alizter/HoTT Fork of HoTT/Coq-HoTT

Homotopy type theory

Language: Coq - Size: 25.5 MB - Last synced: about 10 hours ago - Pushed: about 18 hours ago - Stars: 1 - Forks: 0

Alizter/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection

Language: Nix - Size: 3.61 GB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 0 - Forks: 0

Alizter/coq-lsp Fork of ejgallego/coq-lsp

Language Server Protocol for Coq

Language: OCaml - Size: 22.6 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

Alizter/coq Fork of coq/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.

Language: OCaml - Size: 182 MB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 0 - Forks: 0

Alizter/git-ps-rs Fork of uptech/git-ps-rs

Official git-ps Rust implementation - the future of git-ps

Language: Rust - Size: 884 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

Alizter/fiber Fork of ocaml-dune/fiber

Language: OCaml - Size: 62.5 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

Alizter/opam-dune Fork of ocaml-dune/opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language: OCaml - Size: 37.3 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

Alizter/opam-repository Fork of ocaml/opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language: Shell - Size: 119 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

Alizter/FTXUI Fork of ArthurSonzogni/FTXUI

:computer: C++ Functional Terminal User Interface. :heart:

Size: 2.7 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

Alizter/serenity Fork of SerenityOS/serenity

The Serenity Operating System 🐞

Language: C++ - Size: 179 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

Alizter/ocaml Fork of ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

Language: OCaml - Size: 316 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

Alizter/merlin Fork of ocaml/merlin

Context sensitive completion for OCaml in Vim and Emacs

Size: 32 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

Alizter/ocaml-lsp Fork of ocaml/ocaml-lsp

OCaml Language Server Protocol implementation

Language: OCaml - Size: 5.93 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

Alizter/pp Fork of ocaml-dune/pp

Pretty printing library

Language: OCaml - Size: 54.7 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

Alizter/mutaml Fork of jmid/mutaml

An OCaml mutation tester

Language: OCaml - Size: 197 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

Alizter/dune-bench Fork of ocaml-dune/dune-bench

Benchmark for dune

Size: 8.55 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

Alizter/picow-cgm Fork of homemadesoftware/picow-cgm

Language: C - Size: 2.57 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

Alizter/multinomials Fork of math-comp/multinomials

Multinomials for the Mathematical Components library.

Language: Coq - Size: 1.24 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

Alizter/github-action-benchmark Fork of benchmark-action/github-action-benchmark

GitHub Action for continuous benchmarking to keep performance

Size: 1.21 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Alizter/lev Fork of rgrinberg/lev

Low Level Bindings to Libev

Language: OCaml - Size: 484 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Alizter/coq-dpdgraph Fork of coq-community/coq-dpdgraph

Build dependency graphs between COQ objects

Language: Coq - Size: 342 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Alizter/lru Fork of pqwy/lru

Scalable LRU caches for OCaml

Size: 1.18 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/coq-serapi Fork of ejgallego/coq-serapi

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

Language: OCaml - Size: 1.99 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/uthesis 📦

Undergraduate thesis

Language: TeX - Size: 19.3 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

Alizter/lwd Fork of let-def/lwd

Lightweight document

Language: OCaml - Size: 483 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/coqprime Fork of thery/coqprime

Prime numbers for Coq

Language: Coq - Size: 13 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/tarjan Fork of math-comp/tarjan

Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssreflect

Language: Coq - Size: 214 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/fourcolor Fork of coq-community/fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Size: 639 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/notty Fork of ocaml-dune/notty

Declarative terminal graphics for OCaml

Language: OCaml - Size: 308 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

Alizter/cmdliner Fork of dbuenzli/cmdliner

Declarative definition of command line interfaces for OCaml

Language: OCaml - Size: 605 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/readthedocs.org Fork of readthedocs/readthedocs.org

The source code that powers readthedocs.org

Size: 82.3 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/bignums Fork of coq-community/bignums

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

Size: 722 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/coqffi Fork of coq-community/coqffi

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

Size: 398 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/math-comp Fork of math-comp/math-comp

Mathematical Components

Size: 10.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/Coq-Equations Fork of mattam82/Coq-Equations

A function definition package for Coq

Language: Coq - Size: 57.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/coq-universe Fork of ejgallego/coq-universe

We aim to provide a composed build of all active Coq developments in existence

Language: Makefile - Size: 80.1 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/git-ps-rs-nix-flake

Nix flake for git-ps-rs

Language: Nix - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/opam-coq-archive Fork of coq/opam

Archive for all Coq related OPAM packages organized in various repositories

Language: OCaml - Size: 496 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

Alizter/odd-order Fork of math-comp/odd-order

The formal proof of the Odd Order Theorem

Size: 896 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/commutative-diagrams Fork of dwarfmaster/commutative-diagrams

A coq plugin to deal with commutative diagrams

Size: 105 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/platform Fork of coq/platform

Multi platform setup for Coq, Coq libraries and tools

Size: 1 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/finmap Fork of math-comp/finmap

Finite sets, finite maps, multisets and generic sets

Language: Coq - Size: 611 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/flocq-fork

Language: Coq - Size: 1.42 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/CompCert Fork of AbsInt/CompCert

The CompCert formally-verified C compiler

Size: 18.8 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/Zarith Fork of ocaml/Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Size: 424 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/analysis Fork of math-comp/analysis

Mathematical Components compliant Analysis Library

Size: 5.39 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/Abel Fork of math-comp/Abel

A proof of Abel-Ruffini theorem.

Size: 437 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/bedrock2 Fork of mit-plv/bedrock2

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

Size: 6.44 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/category-theory Fork of jwiegley/category-theory

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

Language: Coq - Size: 2.48 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/hydra-battles Fork of coq-community/hydra-battles

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

Size: 18.8 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/verdi Fork of uwplse/verdi

A framework for formally verifying distributed systems implementations in Coq

Size: 2.46 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/kami Fork of mit-plv/kami

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

Size: 4.1 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/tlc Fork of charguer/tlc

Library for Classical Coq

Size: 1 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/LibHyps Fork of Matafou/LibHyps

A Coq library providing tactics to deal with hypothesis

Size: 137 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/opam-file-format Fork of ocaml/opam-file-format

Parser and printer for the opam file syntax

Size: 138 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/Mtac2 Fork of Mtac2/Mtac2

Size: 3.65 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/Coq-Combi Fork of math-comp/Coq-Combi

Algebraic Combinatorics in Coq

Size: 12.9 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Alizter/jasmin Fork of jasmin-lang/jasmin

Jasmin compiler

Size: 15 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/coqutil Fork of mit-plv/coqutil

Coq library for tactics, basic definitions, sets, maps

Size: 6.08 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/StructTact Fork of uwplse/StructTact

Coq utility and tactic library.

Size: 156 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/real-closed Fork of math-comp/real-closed

Theorems for Real Closed Fields

Size: 327 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/bot Fork of coq/bot

A (Coq Development Team) bot written in OCaml

Language: OCaml - Size: 4.8 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/mczify Fork of math-comp/mczify

Micromega tactics for Mathematical Components

Size: 75.2 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/rewriter Fork of mit-plv/rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

Size: 47.9 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/paramcoq Fork of coq-community/paramcoq

Coq plugin for parametricity [maintainer=@proux01]

Size: 454 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/math-classes Fork of coq-community/math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

Size: 2.79 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/autosubst Fork of coq-community/autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

Size: 878 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/book Fork of HoTT/book

A textbook on informal homotopy type theory

Language: TeX - Size: 386 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/coq-tools Fork of JasonGross/coq-tools

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

Language: Python - Size: 938 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/vscoq Fork of coq-community/vscoq

A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]

Size: 3.33 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Alizter/dune Fork of ocaml/dune

A composable build system for OCaml.

Language: OCaml - Size: 39.4 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 0 - Forks: 0

Alizter/VST Fork of PrincetonUniversity/VST

Verified Software Toolchain

Size: 69.9 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/stdlib2 Fork of coq/stdlib2

Size: 105 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/coqword Fork of jasmin-lang/coqword

Yet Another Coq Library on Machine Words.

Size: 128 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/gaia Fork of coq-community/gaia

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

Size: 1.91 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alizter/color Fork of fblanqui/color

Coq library on rewriting theory and termination

Size: 3.83 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/metacoq Fork of MetaCoq/metacoq

Metaprogramming in Coq

Size: 19.6 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Alizter/bigenough Fork of math-comp/bigenough

Asymptotic reasoning with bigenough

Size: 21.5 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/coq-performance-tests Fork of coq-community/coq-performance-tests

A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]

Size: 142 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/argosy Fork of mit-pdos/argosy

Proving crash safety for systems with layered recovery

Size: 1.16 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/aac-tactics Fork of coq-community/aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

Size: 419 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Alizter/cheerios Fork of uwplse/cheerios

Formally verified Coq serialization library with support for extraction to OCaml

Size: 328 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/InfSeqExt Fork of DistributedComponents/InfSeqExt

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Size: 85 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/hms

Hilton-Milnor splitting

Language: TeX - Size: 540 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

Alizter/www Fork of coq/www

Source files of the coq.inria.fr website (static part)

Language: HTML - Size: 25.9 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Alizter/engine-bench Fork of mit-plv/engine-bench

Benchmarks for various proof engines

Size: 47.2 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Alizter/WildCat

Experimental Wild Category theory library

Language: Coq - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Alizter/riscv-coq Fork of mit-plv/riscv-coq

RISC-V Specification in Coq

Size: 987 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Alizter/emblem Fork of TheSignPainter98/emblem

An elegant, extensible typesetter with both a friendly interface and good output

Language: Shell - Size: 1.43 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Alizter/Agda Fork of HoTT-Intro/Agda

Agda formalisation of the Introduction to Homotopy Type Theory

Language: Agda - Size: 1.17 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Alizter/AlgGeom

Formalisation of Algebraic Geometry based on the HoTT library.

Language: Coq - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Alizter/coq-classes Fork of tchajed/coq-classes

A library of typeclasses for Coq

Size: 52.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Alizter/EPIT-2020 Fork of HoTT/EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory

Size: 124 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

Alizter/lcbf

Lambda calculus to Brainfuck

Language: Haskell - Size: 564 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 1

Alizter/coq-2ltt Fork of CoqHott/coq-2ltt

Two-level type theory in Coq

Language: Coq - Size: 48.8 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

Alizter/agda-nr-cats Fork of 5HT/agda-nr-cats

(n,r)-categories in agda

Language: Agda - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

Alizter/cubical Fork of agda/cubical

Language: Agda - Size: 533 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

Alizter/kenzo Fork of gheber/kenzo

A repackaged version of the Kenzo software by Francis Sergeraert and collaborators.

Language: Common Lisp - Size: 4.71 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

Alizter/Spectral Fork of cmu-phil/Spectral

Language: Lean - Size: 2.45 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

Alizter/lean2 Fork of leanprover/lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

Language: C++ - Size: 23.8 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0