203 Open source projects that are alternatives of or similar to topology

Partial Commutative Monoids

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

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

A Tensorflow Implementation of Brain Tumor Segmentation using Topological Loss

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

A framework for implementing and certifying impure computations in Coq

Mtac in Agda

Template project for program verification in Coq

Coordinate-free hypersurfaces as Haskell types

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

Archive for all Coq related OPAM packages organized in various repositories

Gallina to Bedrock2 compilation toolkit

Implementing a Layer-2 Emulator in C using Graphs and LinkedList

Network topology map using Netbox as a data source

Finite sets, finite maps, multisets and generic sets

A general form for complex data

Jupyter kernel for Coq

(C++)基于图数据结构与拓扑序列的任务调度demo

A utility library for Clojure of functions and macros that complement clojure.core

This repository implements skeleton matching algorithm.

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.

Pure Math in Pure Swift.

A community database of topological counterexamples

Synthetic data sets apt for Topological Data Analysis

Preforms De novo protein design using machine learning and PyRosetta to generate a novel protein structure

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

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

A Coq library providing tactics to deal with hypothesis

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

R pipeline for computing persistent homology in topological data analysis. See https://doi.org/10.21105/joss.00860 for more details.

Formalization of Typed Assembly Language (TAL) in Coq

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

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

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

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

Pointing to the Moon, my personal website.

A diagram visualization framework uses canvas and typescript. Developers are able to build topology, UML, diagram, architecture, mind, SCADA and so on.

Ltac2 tutorial

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

No description or website provided.

Intermediate Memory Model (IMM) and compilation correctness proofs for it

📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.

Formalization of the polymorphic lambda calculus and its parametricity theorem

All of my math stuff from grad school.

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

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

Distributed stream processing layer

The formal proof of the Odd Order Theorem

Convert Haskell source code to Coq source code.

A proof of Abel-Ruffini theorem.

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

Mutation analysis tool for Coq verification projects

Formalization of the basic actuarial mathematics using Coq

Multinomials for the Mathematical Components library.

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

🚀 Takes minutes to explore the topology of all routable /24 prefixes in IPv4 address space. Now supports IPv6 scan!

IO for Gallina

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

Formal verification of OCaml programs

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