Search through all your files

Linux kernel source tree

A very segsy desktop shell

Lean 4 programming language and theorem prover

Verification framework and tool for higher-order Scala programs

Interactive UI for local node modules inspection

Scala.js, the Scala to JavaScript compiler

An incremental parsing system for programming tools

The official repository of Mozilla's Firefox web browser.

Scala language server with rich IDE features 🚀

A monitor of resources

The Scala HTTP client you always wanted!

Anthropic's educational courses

Simple database migration tool for Postgres with skunk on JVM and Native

AI-powered tool that makes database operations easier. Built for PostgreSQL. Modern alternative to traditional database management tools.

Java version of LangChain

sbt plugin for Scalafmt

Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

Model Context Protocol server written in Scala

Elm-inspired Scala UI library.

A self-hosted dashboard that puts all your feeds in one place

Neovim plugin for Typst providing auto snippets, excalidraw integration and [standalone] Anki flashcard export

Write programs like message passing graphs and get parallelism for free. Statically typed and compiled to machine code!

This kotlin compiler plugin is using KSP API and generates kotlin code to map one class to another

jclasslib bytecode editor is a tool that visualizes all aspects of compiled Java class files and the contained bytecode.

Kotlin compiler plugin to hide secret data

Pluggable type-checking for Java

Language implementation demo

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.