Chisel examples shown for different programming paradigms
APACHE-2.0 License
A Coq-based synthesis of Scala programs which are correct-by-construction
An accompanying repository for the workshop 'Fundamentals of Functional Scala'
Sql Query Engine for Midi files
[AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
Learning how to make RISC-V 32bit CPU with Chisel
Various scala examples with scala-cli
System for indexing clone hero charts
Chisel: A Modern Hardware Design Language
Experiments with fixed function renderers and Chisel HDL
Introducing functional programming to interested and enlightened people.
sbt, the interactive build tool
A place for me to learn/ experiment with interpreters/compilers
Rocket Chip Generator
API-First bootstrapping tool for building RESTful web services from a Swagger/OpenAPI spec
Scala incremental compiler library, used by sbt and other build tools