RAFCON (RMC advanced flow control) uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms. Alternatively, state machines can programmatically be generated using RAFCON's API.
- robotics
- graphical-programming
- state-machine
Flow-based Application Layer Framework
- elixir
- flow-based-programming
- framework
- pipeline
Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
Runtime type checking for JS with Hindley Milner signatures
- hindley-milner
- type-checking
- functional-programming
- invariant
Programmatic modification and evaluation of software
- software-engineering
- source-code
- evolutionary-computation
- program-synthesis
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
A single-header, zero-allocation image filter library in C
- image-filters
- blur
- color-matrix
- grayscale
Dropwizard + Hystrix Module.
TranslatedA turn-based competitive Python programming game: problem-solving speed is combat power. A web-based Python programming battle game.
Build innovative Skills with McDonald’s MCP, solve real-world problems, and compete for exclusive 1024 Programmers’ Day prizes.
Implementation of RAFT consensus in .NET core
- raft-consensus-algorithm
- raft
- raft-protocol
- raft-algorithm
🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥
Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
A generics based dependency injection application framework for Go, supporting aspect oriented programming based on interceptors
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Treesitter grammar for Justfiles (casey/just)
A haxe programming library for beginners. Powered by OpenFL and Starling.
- openfl
- haxe
- starling
- framework
Flexible retries library for Clojure
An esoteric programming language built to break LLMs and coding agents.
A simple framework for compile-time benchmarks
Provides external LTeX file handling (off-spec lsp) and other functions.
Railway-oriented programming for .NET
Vert.x Blueprint Project - A reactive todo-backend implementation using Vert.x and various persistence
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming