HEIGE-PCloud
Follow
Stars
A command-line app for downloading Apple Music songs, music videos and post videos.
Minimal implementations for dependent type checking and elaboration
Reimplementation of Parsley in Haskell, with improvements
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
The fastest PostgreSQL libpq-based driver for Haskell
LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their cor…
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Nomad is an easy-to-use, flexible, and performant workload orchestrator that can deploy a mix of microservice, batch, containerized, and non-containerized applications. Nomad is easy to operate and…
A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.
Functional reactive web and mobile applications, with batteries included.
Cross-platform Rust rewrite of the GNU coreutils
A simple Python 3 library to read your Things app data.
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
The user home repository for the Mathematics in Lean tutorial.
Curated list of project-based tutorials
An introduction to programming language theory in Agda
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Natural language tactics to teach mathematics using Lean 4
A C++ type to trace calls to special member functions.
Cockpit is a web-based graphical interface for servers.
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
A fast, flexible, fused effect system for Haskell