A Lua 5.3 parser written with LPegLabel
Repository Index
47,133 repositories indexed
1,081–1,104 of 2,233 · Most stars
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Gostradamus: Better DateTimes for Go 🕰️
- golang
- datetime
- date
- time
Embedded JavaScript Engine for R
- cran
- libv8
- r
- javascript
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
LMDB for Java
a network packet capture compiler
a rust compiler daemon for up to 25x faster cargo builds
[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
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
An implementation of React hooks on top of purescript-react-basic
a re-implementation of the asyncio mainloop on top of Trio
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
A Ruby C wrapper for Open Text Summarizer
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
Like `Promise.all()` but for `Map` and `Object`
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
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog