Chisel: A Modern Hardware Design Language
- chisel
- chisel3
- scala
- firrtl
Repository Index
88,073 visible repositories in the index
1–5 of 5 · Most stars
A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators