continuity topic
List
continuity repositories
GeoCoq
175
Stars
26
Forks
Watchers
A formalization of geometry in Coq based on Tarski's axiom system
CLaSH-Processor
41
Stars
12
Forks
Watchers
A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog
Calculess
41
Stars
12
Forks
Watchers
📚 Calculus Library for JS and NPM
Rank-N-Contrast
79
Stars
7
Forks
Watchers
[NeurIPS 2023, Spotlight] Rank-N-Contrast: Learning Continuous Representations for Regression