Stars
A new markup-based typesetting system that is powerful and easy to learn.
Create virtual machines and run Linux-based operating systems in Go using Apple Virtualization.framework.
This Chrome Extension improves the course registration experience at UT Austin by presenting more information to students on the Course Catalog! 60,000+ peak Users!
go-mask is a simple, customizable Go library for masking sensitive information.
Hush is a unix shell based on the Lua programming language
♞ lichess.org: the forever free, adless and open source chess server ♞
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
Runtime type system for IO decoding/encoding
The "Command Line Interactive Controller for Kubernetes"
Super Saiyan React components, son of awesome Bulma
Lightweight UI components for Vue.js based on Bulma
A cross-platform GUI library for Rust, inspired by Elm
[DEPRECATED, see readme] A pretty cool UI kit for Svelte
UI framework with material components built with Svelte and Tailwind CSS
Component Story Format is an open standard for UI component examples based on JavaScript ES6 modules.
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
A curated list of awesome open source workflow engines
A presentation (in Markdown) for the IETF Hub Boston on June 12, 2018.
The home of the CUE language! Validate and define text-based and dynamic configuration
tbls is a CI-Friendly tool to document a database, written in Go.
A wrapper API for creating interceptable Java HttpClients
Dafny is a verification-aware programming language