-
intellij-scala Public
Forked from JetBrains/intellij-scalaScala plugin for IntelliJ IDEA
Scala Apache License 2.0 UpdatedMay 14, 2025 -
scala3 Public
Forked from scala/scala3The Scala 3 compiler, also known as Dotty.
Scala Apache License 2.0 UpdatedApr 29, 2025 -
scala Public
Forked from scala/scalaScala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
Scala Apache License 2.0 UpdatedApr 3, 2025 -
Haskquill Public
Compile-time QDSL for SQL queries in Haskell
-
hindley-milner-verification Public
Verification of the Hindley-Milner type inference algorithm
Idris UpdatedOct 31, 2024 -
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedApr 14, 2024 -
-
-
Olaru-lang Public
Language that supports substructural type systems
Haskell Other UpdatedMay 17, 2023 -
-
-
-
AppForManagers Public
App for managers and them workers on scala Play framework
Scala UpdatedNov 21, 2022 -
Booking Public
Test clean architecture and microservices with asp.net core
-
-
{{ message }}