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.
And we need to talk about them.
Neither “exercise and diet” nor “body positivity” are real answers.
A tutorial.
Cheap imperative data structures for Haskell. Even comes with NullPointerException support.
Haskell library for defining values recursively while avoiding nontermination. Magic.
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.
Added features:
- AArch64 support
- Parallel garbage collection
- Byte code mode
- Optimizations
Chinese and Japanese handwriting recognition engine.
An x86 Unix clone with a ’90s-style graphical user interface.