GS Collections has been migrated to the Eclipse Foundation, re-branded as Eclipse Collections. https://www.eclipse.org/collections/
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Queuer is a queue manager, built on top of OperationQueue and Dispatch (aka GCD).
- swift
- linux
- operationqueue
- semaphore
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
- programming-language
- windows
- scripting-language
- compiler
The repository host gives no description.
- algokit
- lib
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Foundational Cryptography Framework for machine-checked proofs of cryptography.
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
The repository host gives no description.
- algokit
- lib