🩵 Self-hosted & Fully-automated ActivityPub Bridge for Static Sites.

Native Haskell gRPC client and server based on `http2`

Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)

ZilchOS Core, a decidedly tiny Nix-based distro to play with

A telegram bot to eval racket code

VSCode public API plugged on the monaco editor

Asynchronous Language Server Protocol framework

mdbook template for lean project

Haskell implemented with combinators

Natural language tactics to teach mathematics using Lean 4

👀 The most minimalistic and highly customizable SDDM theme.

A file system on top of your file system

Web Database Viewer of Project Sekai

A simple library for reporting compiler/interpreter errors

parsec in c++

NIx Language server, an incremental analysis assistant for writing in Nix.

Lean4 implementation of https://hashids.org

A purely functional programming language with first class types

a proof-of-concept programming language based on Call-by-push-value

being an operating system for typechecking processes

A transpiler that converts TeX into Unicode (as possible).

The Uncompromising Nix Code Formatter

A language server for Standard ML.

Erlang binding of the HStreamDB Rust client library

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Write expressive, high-performance parsers with ease.

Write safer FFI code in Rust without polluting it with unsafe code

Rust client library for HStreamDB

Fast higher-order effect handlers with evidence passing