크로스핏 박스 전용 웹 사이트

Distributed reliable key-value store for the most critical data of a distributed system

Load a GHCi session for a Haskell project and reload it when source files change

State Lifetime Manager for React

aider is AI pair programming in your terminal

Storage Orchestration for Kubernetes

Software Transactional Memory

ts-pattern wrapper for Solid

JSON-LD for Haskell

🦄 A modal library that can be called imperatively from anywhere!

A ScrollView-like component with parallax and sticky header support.

Charity Programming Language

OpenAPI 3.0 for Servant

🌎 An interplanetary microblogging platform 🚀

contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...

Vite Plugin for StyleX

App source + Nix packages + Docker = Image

🐧 A real-time physically based 3D rendering engine for React Native

A Scalable, User-Friendly Source Control System.

Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.

An experimental library for Cubical Agda

Haskell project template using Nix + Flakes + VSCode (HLS)

Haskell implemented with combinators

Autonomous software engineer right in your IDE, capable of reading/writing files, executing commands, and more with your permission every step of the way.

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Superposition is a context-based configuration management system designed to facilitate safe and flexible rollout of config changes

The Makam Metalanguage

What flakes should have been

Open source software that helps you create and deploy high-frequency crypto trading bots