Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
- scala
- scala-compiler
- scala-programming-language
- scala-library
Repository Index
65,264 visible repositories in the index
1–7 of 7 · Most stars
A Proof-oriented Programming Language
- programming-language
- verification
- dependent-types
- smt
High-performance runtime for data analytics applications
- stanford
- data
- analytics
- machine-learning
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
A language and an embedded JIT compiler
- haskell-application
- hobbes
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]