Run C# scripts from the .NET CLI.

A Proof Generator for Entailments and Tautologies in First-order Logic

A model checker for implementing distributed systems.

An opinionated F# Library for error handling

Browse Hackage from the terminal

Like IntelliSense, but for shells

Haskell implemented with combinators

Generate schema sources for Scala, Java and Elm from an openapi 3.0 spec.

Generate music based on natural language prompts using LLMs running locally

PDF craft can convert PDF files into various other formats. This project will focus on processing PDF files of scanned books.

LSP & DAP Client for IntelliJ

Easy to use stem (e.g. instrumental/vocals) separation from CLI or as a python package, using a variety of amazing pre-trained models (primarily from UVR)

Generate Haskell client code from an OpenAPI 3.0 specification

The agda-unimath library

A friendly newtype library for Scala 3

Haskell 'go to (non-local) definitions' extension

A reference implementation of Dhall in Scala

Multi functional app to find duplicates, empty folders, similar images etc.

Safe-to-use proc-macro-free self-referential structs in stable Rust.

Easy self-referential struct generation for Rust.

Windows/macOS/Linux GUI client for GIT users

Guitar Pro tablature player.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

🔅🔮 Training library of matrices and vectors with mathematical operations using Scala3 compiletime

Derive Scala code for your HTTP API from swagger!

Math.NET Symbolics

A menagerie of macro utilities and extensions for Scala 3

IdeaLingua RPC for Scala, TypeScript, C#, Go