A GUI-focused Win32 API wrapper for Rust.
Comes with a derive-macro that derives GUIs from struct declarations.
Swing-like C++ library on top of Win32.
I imagine you could also use this in conjunction with libwine.
A layout container for Swing, SWT, and JavaFX that can accommodate many layouts.
Multi-platform keyboard manager written in Haskell.
And we need to talk about them.
Neither “exercise and diet” nor “body positivity” are real answers.
Cheap imperative data structures for Haskell. Even comes with
Haskell library for defining values recursively while avoiding nontermination. Magic.
A library of mathematics and data structures for Lean.
A prelude extension for Idris. Contains many useful data types and algorithms.
Imports a variety of build systems into Nix.
Currently supports Rust, Haskell, PHP, Node.js, and Python.
A course on logic and proof theory using the Lean theorem prover.
Currently uses Lean 3, which is a bit different from Lean 4.
- AArch64 support
- Parallel garbage collection
- Byte code mode
Chinese and Japanese handwriting recognition engine.