A lightweight, header-only, high-performance reactive programming framework for C++20.
- modern-cpp
- template-meta-programming
- mvvm-framework
- ui-dataflow
Repository Index
47,133 repositories indexed
937–960 of 1,911 · Most stars
A thin Ruby wrapper to the Neo4j Rest API
- neo4j
- neography
- ruby
- neo4j-driver
Static recompilation of Super Smash Bros. Ultimate 13.0.4 to a native Windows program: tools and runtime only, bring your own dump
A TUI playground to experiment with your favorite programs, such as grep, sed, awk, jq and yq
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
Image processing in Elixir (ImageMagick command line wrapper)
- elixir
- mogrify
- wrapper
- imagemagick
:white_check_mark: .NET crypto done right. Professionally audited.
- crypto
- cryptography
- c-sharp
- aead
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Flexible Stepped Progress Bar for IOS
This is a beauful hud view for iPhone & iPad
Bind socket.io events to backbone models & collections. Also includes a drop-in replacement for Backbone.sync using socket.io.
Circular progress indicator for your macOS app
- progress-indicator
- progress-circle
- progress-view
- macos
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
A small and flexible (well documented) UIButton subclass with animated loading progress, and completion animation.
- uibutton
- progress
- download
- animated
Urbanist is a low-contrast, geometric sans-serif inspired by Modernist design and typography.
- font
- typography
- glyphs
- ofl
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Parses the Graphviz DOT language in golang
- graphviz
- golang
- graphviz-dot-language
- go
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium
A foundational and practical guide for effectively learning and progressively building a blockchain from scratch in Go with gRPC
- blockchain
- blockchain-from-scratch
- concurrent-programming
- cryptography
The fastest logging library in the world. Built from scratch in Scala and programmatically configurable.
- scribe
- scala
- slf4j
- logging
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
A digital BookShelf for your reading progress.