Lists (1)
Stars
A simple zero-based budgeting app. Written with ❤️ in Gleam. Very much WIP
An extremely fast Python linter and code formatter, written in Rust.
A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".
Cross-platform, fast, feature-rich, GPU based terminal
A Rust framework for building Minecraft servers.
The web framework for content-driven websites. ⭐️ Star to support our work!
An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Master programming by recreating your favorite technologies from scratch.
Tutorial on Multicore OCaml parallel programming with domainslib
A purely functional programming language with first class types
A Dependently Typed Functional Programming Language
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
A technical explainer by @kognise of how your computer runs programs, from start to finish.
A tiling window manager for macOS based on binary space partitioning
Web frontend + API and Hackage-published library to evaluate complex expressions with significant figures.
A curated collection of common interview questions to help you prepare for your next interview.
A new markup-based typesetting system that is powerful and easy to learn.