Lists (13)
Starred repositories
monospace typeface designed for symbol-rich programming
Rust Bindings for the Skia Graphics Library
Syntax-free programming language for image synthesis
A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the MoonBit language.
From Zero to QED: An informal introduction to formality with Lean 4
Core modules for a blazing fast markup combinator library
Web app to convert world data of Minecraft Java / Bedrock / Xbox360 / PS3 Edition
ClickHouse Native protocol driver in Haskell
This wiki is a knowledge-sharing website for Minecraft Bedrock Add-Ons, containing documentation, tutorials, and general how-to information.
A toolkit for embedding VPN capabilities in your application
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.
Compiles Julia code to a standalone library (experimental)
Secure & isolated JS environments for nodejs
A library and language for building parsers, interpreters, compilers, etc.
ProseMirror's view component
Cloud Haskell core libraries
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
From Calculus to Cohomology - Ib Madsen and Jørgen Tornehave
Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, and labwc.