Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Formal Topology In Uf

Formal Topology in Univalent Foundations (WIP).
Stars
27
License
gpl-3.0
Open Issues
5
Most Recent Commit
2 years ago
Programming Language
CSS
Categories
Repo
Suggest An Alternative To formal-topology-in-UF
Popular Topology Projects
Amqp ⭐ 4,704
Go client for AMQP 0.9.1
dependent packages 2,457total releases 4latest release June 19, 2023most recent commit 8 months ago
Skydive ⭐ 2,522
An open source real-time network topology and protocols analyzer
dependent packages 4total releases 25latest release April 12, 2021most recent commit 4 months ago
Sneakers ⭐ 2,193
A fast background processing framework for Ruby and RabbitMQ
dependent packages 26total releases 32latest release December 24, 2019most recent commit a year agorubygems sneakers} Downloads
Jts ⭐ 1,799
The JTS Topology Suite is a Java library for creating and manipulating vector geometry.
dependent packages 202total releases 11latest release June 21, 2022most recent commit 3 months ago
Qtunnel ⭐ 1,649
A secure socket tunnel works on getqujing.com
total releases 1latest release April 18, 2017most recent commit 7 years ago
Popular Type Theory Projects
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Popular Mapping Categories
Mapping
Countries
City
Spatial Analysis
Gis
Google Maps
Geojson
Geospatial
Satellite
Osm
Related Searches
Css Definition
Css Thesis
Thesis Topology
Css Topology
Definition Topology
Definition Thesis
Type Theory Univalent Foundations
Homotopy Type Theory Univalent Foundations
Definition Type Theory
Thesis Type Theory

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Css
Topology
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.