Diameter stack and Base Protocol (RFC 6733) for the Go programming language
Repository Index
47,133 repositories indexed
337–360 of 698 · Most stars
Simple Swift interpreter for the Pascal language inspired by the Let’s Build A Simple Interpreter article series.
- interpreter
- lexer
- swift
- pascal-language
Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
An inter-process and inter-machine lockfile utility that works on a local or network file system.
- lockfile
- atomic
- nodejs
- cross-process
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
[A]synchronous Functional Programming
- function-composition
- asynchronous
- transducers
- parallel
QUIC protocol for Erlang & Elixir
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
FXRuby is an extension module for Ruby that provides an interface to the FOX GUI toolkit.
Floc: Orchestrate goroutines with ease.
- go
- parallel-programming
- goroutines
- goroutine-safe
Connection behaviour for connection processes
:alarm_clock: A lightweight implementation of Promises in Swift
- promise
- swift
A Library for Representing Recursive and Impure Programs in Coq
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
Debounce promise-returning & async functions
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library