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

A Coq library providing tactics to deal with hypothesis

Coq plugin embedding elpi

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

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

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

A core language for rule-based hardware design 🦑

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

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 diagram (topology, UML) framework uses canvas and typescript. 一个轻量（100k左右）、功能丰富的绘图工具（微服务架构图、拓扑图、流程图、类图等UML图、脑图，动画、视频支持）。 【在线使用】：

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

Scala DSL for Unit-Testing Processing Topologies in Kafka Streams

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

Course on topology in condensed matter

Pointing to the Moon, my personal website.

Core packages of the COMPAS framework.

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

Contains ESnet network mapping and circuit rendering code, as used in the ESnet portal.

Ltac2 tutorial

pyNTM - This is the network traffic modeler written in python 3: pip3 install pyNTM

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

Topological Data Analysis in Python: Simplicial Complex

No description or website provided.

网络拓扑图

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

A high-performance topological machine learning toolbox in Python

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

Continuous area cartograms with d3 and TopoJSON

Formalization of the polymorphic lambda calculus and its parametricity theorem

⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex

All of my math stuff from grad school.

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

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

Digital Geometry Tools and Algorithm Library

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

Curation and manipulation of general unstructured meshes for the Finite Element Methods (FEM).

Distributed stream processing layer

Voevodsky's original development of the univalent foundations of mathematics in Coq

The formal proof of the Odd Order Theorem

A Learning Environment for Theorem Proving with the Coq proof assistant

Convert Haskell source code to Coq source code.

Randomized Property-Based Testing Plugin for Coq

A proof of Abel-Ruffini theorem.

🐣 A blog engine written and proven in Coq

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

A function definition package for Coq

Mutation analysis tool for Coq verification projects

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

Formalization of the basic actuarial mathematics using Coq

A Visual Studio Code extension for Coq [[email protected],@fakusb]

Multinomials for the Mathematical Components library.

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

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]

Formal Topology in Univalent Foundations (WIP).

Stable sort algorithms and their stability proofs in Coq