A minimalistic ClojureScript interface to React.js
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
🔘 Minimalistic and High-performance goroutine worker pool written in Go
- go
- goroutine-pool
- worker-pool
- worker-pool-factory
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
High-performance, minimalist async-io (proactor) networking for Golang.
- asyncio
- proactor
- c10k
- epoll
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
A formalization of geometry in Coq based on Tarski's axiom system
A library for formalizing Haskell types and functions in Coq
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
A Lean formalization of the Classification of Finite Simple Groups
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Common Lisp with Arc Macros and Procedures
DexieNET is a .NET wrapper for dexie.js minimalist wrapper for IndexedDB
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Minimalistic, pluggable Golang evloop/timer handler with dependency-injection
Minimalistic monad syntax for OCaml.
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2