Halva is a toolchain for improving the experience of developing Decentralized Applications based on Substrate.
Repository Index
47,133 repositories indexed
24,529–24,552 of 30,240 · Most stars
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Intervention Engine specific GoLang software.
- health
GitHub App authentication for Go: installation tokens, JWTs and PATs as oauth2.TokenSource, plus webhook signature verification and KMS/HSM signing
Micropython Menu for LCD Displays
- micropython
- lcd
- lcd-display
- lcd16x2
Common Lisp library for manipulating date/time objects at a higher level
Swift Playground that creates jazz improvisations (WWDC 2018)
- swift
- playground
- midi
- jazz
Helps make a single page application more friendly to screen readers.
Dependency Injection and Inversion of Control package
- dependency-injection
- lifecycle
- injector
- ioc-framework
React hooks implementation of Google's "Thanos" easter egg
- react
- thanos
- avengers-endgame
- thanos-snap-effect
The repository host gives no description.
- node-red
- alexa
- smarthome
Musical Scores for Piano with full sources in LilyPond file format
- lilypond
- music
- score
- bach
Hash a value to a valid port
Generate a plain-english summary of what is in a GeoJSON file.
- banished
webjars integration for Apache Wicket
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Neovim plugin that adds H/M/L indicators to your line numbers
- neovim
- neovim-plugin
- plugin
Generalized Diffie-Hellman key exchange Java library built on top of the Vert.x framework
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
- haskell
- luasnip
- neovim
- neovim-plugin
NativeCode Xamarin Android Design Library Support Packages
stav text annotation visualiser
Generative AI client for multiple providers with plugin extension support
Visualise a changeset on a map
The repository host gives no description.