KeeJef / CryptoCommitLinks
Counts commits across all organisation repos and gives you some pretty charts
☆12Updated 2 years ago
Alternatives and similar repositories for CryptoCommit
Users that are interested in CryptoCommit are comparing it to the libraries listed below
Sorting:
- Low-Latency Java/Scala Cryptocurrency Trading Framework☆17Updated last year
- Proving Ground: Tools for Automated Mathematics☆207Updated 4 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 5 years ago
- A simple graph library for Scala☆10Updated 4 years ago
- GAPT: General Architecture for Proof Theory☆107Updated 2 months ago
- Experiments with symbolic functions in the Scala type system☆27Updated 6 years ago
- Computational Group Theory in Scala. It's Scala permuted!☆23Updated 6 years ago
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- System FR: Formalized Foundations for Stainless☆12Updated this week
- ☆50Updated 2 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated 4 months ago
- Lambda syntax for Scala EDSLs☆27Updated 2 years ago
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- Solver for higher-order functional programs, used by Stainless☆93Updated 3 weeks ago
- A toolkit for building multi-result supercompilers☆32Updated 4 years ago
- Type-safe implementation of Tensor Data Model in Scala.☆19Updated 2 years ago
- A compiler plug-in to control object lifetimes in Scala☆65Updated 8 years ago
- ☆37Updated 6 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated 7 months ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆68Updated 11 months ago
- Raft algorithm implementation in Scala☆21Updated 2 years ago
- Scala implementation of ILC, with benchmarks☆27Updated 9 years ago
- Simple implementations of forward- and backward-mode automatic differentation in Scala☆23Updated 7 years ago
- ☆29Updated 10 years ago
- Rings: efficient JVM library for polynomial rings☆78Updated 2 years ago
- Experiments with incremental compiler construction on the JVM☆13Updated 3 years ago
- Scala library for converting Spark rows to case classes☆11Updated 8 years ago
- A recursion schemes micro-library☆21Updated 5 years ago
- Source code & exercises in Arend's documentation☆21Updated 4 years ago
- ☆23Updated 12 years ago