Go simple async message bus
- message-bus
- event-sourcing
- ddd
- async
Repository Index
47,133 repositories indexed
97–120 of 195 · Most stars
[A]synchronous Functional Programming
- function-composition
- asynchronous
- transducers
- parallel
Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.
- netcdf-fortran
- unidata
- netcdf-library
- dataset
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
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
A concise language for sketching ASCII art.
- esoteric-language
- ascii-art
- golfing-language
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
Simply way to control goroutines execution order based on dependencies
- goflow
- golang
- goroutine
- concurency
interactive programming of melodies, producing MIDI
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
a re-implementation of the asyncio mainloop on top of Trio
Open source PTX to SASS assember (previously closed source by nvidia), more efficient SASS kernal for large scale Matrix Multiplication and Addition (MMA)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
CSP-style concurrency for Python
- python
- asyncio
- csp
- concurrency
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Interfacing Qt/QML with OCaml. Formely known as lablqt
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
C# Bindings for the Vulkan API & SPIR-V
- vulkan
- c-sharp
- spir-v
- dotnet-standard
Cross-platform event loop library of asynchronous objects
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
A library of mechanised undecidability proofs in the Coq proof assistant.