Moved to Codeberg
Repository Index
47,133 repositories indexed
1–24 of 24 · Most stars
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
- pattern-matching
- typescript
- ts
- pattern
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
The repository host gives no description.
Efficient, Immutable, Thread-Safe Collection classes for Ruby
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
Bindings to the Tauri API for projects using wasm-bindgen
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure
Elixir binding to Detergent erlang library used to call WSDL/SOAP Services
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
nanomsg bindings for ocaml
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Hunchentoot Gserver based taskmanager
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
:evergreen_tree: Parses indented code and returns a tree structure.
- go
- parser
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
A simple egauge parser to retrieve and parse data from egauge devices