A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Repository Index
47,133 repositories indexed
145–168 of 263 · Most stars
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
a network packet capture compiler
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Secure firmware framework focusing on developer experience
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
An esoteric programming language built to break LLMs and coding agents.
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Helper modules for OTP applications
- elixir
- otp-applications
- otp
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
errgroup with goroutine worker limits
- go
- golang
- sync
- errgroup
User-oriented fork of LLVM's opt-viewer
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable
- reactive
- elmish
- fable
- fsharp
Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines