Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hott Agda

Development of homotopy type theory in Agda
Stars
319
License
mit
Open Issues
11
Most Recent Commit
5 years ago
Programming Language
Agda
Categories
Repo
Alternatives To Hott Agda
Select To Compare
Keycloak ⭐ 18,797
Open Source Identity and Access Management For Modern Applications and Services
dependent packages 429total releases 126most recent commit 3 months agonpm keycloak-js} Downloads
Cilium ⭐ 17,693
eBPF-based Networking, Security, and Observability
dependent packages 25total releases 781most recent commit 3 months ago
Aspnetboilerplate ⭐ 11,441
ASP.NET Boilerplate - Web Application Framework
dependent packages 372total releases 258most recent commit 3 months agonuget Abp} Downloads
Identityserver4 ⭐ 8,944
OpenID Connect and OAuth 2.0 Framework for ASP.NET Core
dependent packages 404total releases 99most recent commit a year agonuget IdentityServer4} Downloads


Suggest An Alternative To HoTT-Agda
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Types Agda
Types Identity
Types Univalence
Agda Hott
Agda Univalence
Types Hott
Hott Univalence

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Identity
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.