WireCat: visual programming with cartesian categories

Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

A scrollable-tiling Wayland compositor.

IP addresses break, dial keys instead. Modular networking stack in Rust.

Complete Haskell binding to PCRE2

FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits

SQLSync is a collaborative offline-first wrapper around SQLite. It is designed to synchronize web application state between users, devices, and the edge.

Voxel sandbox game with a large render distance, procedurally generated content and some cool graphical effects.

Types for ldtk

A basic resume for typst, designed to work well with ATS systems.

Helix client for GhostText - Edit browser text areas in Helix (or another editor!)

A very fast, portable and hackable fuzzy finder.

cross-platform, cli app to perform various operations on string

A reasonable configuration language

A lightweight, secure, and feature-rich Discord terminal (TUI) client.

</> htmx - high power tools for HTML

Touying is a powerful package for creating presentation slides in Typst.

Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)

Database diagrams editor that allows you to visualize and design your DB with a single query.

Exhaustive pattern matching using lenses, traversals, and prisms

Truly independent web browser

Declare your digital independence

risc-v assembly language

NxN Matrix Multiplication using SIMD with Intrinsics (MMX, SSE, SSE2, AVX, etc.) and FPU as inline ASM in C

👑 Format Haskell package descriptions.

Generate types and converters from JSON, Schema, and GraphQL

Unpacked containers using backpack

A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

🎧 Open source music streaming app! Available for both desktop & mobile!