-
-
llama-fork Public
Forked from meta-llama/llamaInference code for LLaMA models
Python Other UpdatedAug 23, 2023 -
zoe-fork Public
Forked from adevinta/zoeThe Kafka CLI for humans
Kotlin MIT License UpdatedJul 4, 2023 -
Laminar-fork Public
Forked from raquo/LaminarSimple, expressive, and safe UI library for Scala.js
Scala MIT License UpdatedApr 1, 2023 -
scala-dom-types-fork Public
Forked from raquo/scala-dom-typesScala types for your library to represent HTML tags, attributes, properties and CSS styles
Scala MIT License UpdatedMar 20, 2023 -
ZIO — A type-safe, composable library for async and concurrent programming in Scala
Scala Apache License 2.0 UpdatedMar 10, 2023 -
scala-problems-interviews Public
Forked from rockthejvm/scala-problems-interviewsThe official repository for the Scala & Functional Programming Practice course
Scala UpdatedDec 1, 2022 -
-
zio-http-fork Public
Forked from zio/zio-httpA scala library to write Http apps.
Scala MIT License UpdatedOct 30, 2022 -
zio-app Public
Forked from kitlangton/zio-appQuickly create and develop full-stack Scala apps with ZIO and Laminar.
Scala UpdatedOct 4, 2022 -
lean4-fork Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 13, 2022 -
-
intellij-scala Public
Forked from JetBrains/intellij-scalaScala plugin for IntelliJ IDEA
Scala Apache License 2.0 UpdatedMay 26, 2022 -
scala-webapp-template Public template
Forked from wiringbits/scala-webapp-templateA reusable skeleton to build web applications in Scala/Scala.js, including user registration, login, admin portal, and deployments
Scala MIT License UpdatedMar 5, 2022 -
Zymposium Public
Forked from zivergetech/ZymposiumCode examples from our weekly Zymposium series.
Scala Apache License 2.0 UpdatedMar 4, 2022 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedDec 12, 2021 -
linear-scala Public
Forked from earldouglas/linear-scalaLinear types in Scala
Scala ISC License UpdatedDec 4, 2021 -
-
advanced-zio Public
Forked from jdegoes/advanced-zioThe material for the Advanced ZIO Workshop.
Scala UpdatedOct 13, 2021 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedSep 7, 2021 -
protoquill Public
Forked from zio/zio-protoquillIn Progress Dotty-based implementation of Quill
Scala Apache License 2.0 UpdatedSep 2, 2021 -
zio-slides Public
Forked from kitlangton/zio-slidesAn interactive, websocket-backed slide presentation app.
Scala UpdatedApr 29, 2021 -
coq-lean-cheatsheet Public
Forked from jldodds/coq-lean-cheatsheetA quick reference for mapping Coq tactics to Lean tactics
Lean UpdatedApr 23, 2021 -
-
lean Public
Forked from leanprover-community/leanLean Theorem Prover
C++ Apache License 2.0 UpdatedMar 18, 2021 -
libretto Public
Forked from TomasMikula/librettoDeclarative concurrency and stream processing library for Scala
Scala Mozilla Public License 2.0 UpdatedMar 12, 2021 -
-
greyhound Public
Forked from wix/greyhoundGreyhound - Rich Kafka client library
Scala MIT License UpdatedFeb 11, 2021 -
onnx-scala Public
Forked from EmergentOrder/onnx-scalaAn ONNX (Open Neural Network eXchange) API and Backend for Typeful, Functional Deep Learning in Scala
Scala GNU Affero General Public License v3.0 UpdatedJan 26, 2021 -