Stars
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
The main concordium node implementation.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
a super simple, no-nonsense diagramming library written in react that just works
Work with remote images registries - retrieving information, images, signing content
Podman: A tool for managing OCI containers and pods.
A modern runtime for JavaScript and TypeScript.
Creating native mobile apps with Nativescript and Turbine
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
An experimental next-generation Electron-based text editor
Learn how to master the art of baking the programmer way.
Purely functional UI library powered by FRP.
Property-based testing a'la QuickCheck for TypeScript and JavaScript
Take and organize notes - Turbine Example
A tiny tool for finding functions from libraries
TypeScript and Javascript language support for Atom-IDE
🐆 An immutable list with unmatched performance and a comprehensive functional API.
A library that turns impure code into pure and testable code.
GNOME extension to change wallpaper from providers
unframework for universal uncomponents - use your uncomponents with no boundaries
GNOME Search Provider for recent VS Code projects.