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
121–144 of 295 · Most stars
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
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
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
🌟 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
Jitescript - Java API for Bytecode
A Verified Compiler for Gallina, Written in Gallina
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
A library for formalizing Haskell types and functions in Coq
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
Interfacing Qt/QML with OCaml. Formely known as lablqt
SQLite3 bindings for Crystal
Lua zeromq2 binding
Golang library for querying and parsing OFX
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
An extension of LPeg that supports labeled failures
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
Lua binding to ZeroMQ
- lua-bindings
- zeromq
- ffi
- messaging
Erlang NIF for sqlite
A library of mechanised undecidability proofs in the Coq proof assistant.
0MQ Delphi binding