sug0
Follow
Stars
8
results
for source starred repositories
written in Scala
Clear filter
Open-source high-performance RISC-V processor
Your favorite language gets closer to bare metal.
ZIO — A type-safe, composable library for async and concurrent programming in Scala
Compiler for the Vale programming language - http://vale.dev/
APALACHE: symbolic model checker for TLA+ and Quint
A language with lexical effect handlers and lightweight effect polymorphism
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!