High performance Transactional Memory for Common Lisp
Repository Index
47,133 repositories indexed
385–408 of 798 · Most stars
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Clojure wrapper around JGit
Mypy static type checker plugin for Pytest
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Ruby speech recognition with Pocketsphinx
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Railo is an Open Source CFML Server
An experiment in adding functional pattern matching to JavaScript
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
High performance System.Threading.(Value)Task computation expressions for F#
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
The repository host gives no description.
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
(c-include "file.h") => complete FFI wrapper
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
A durable atom type for Clojure
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
Javascript wrapper for GDAL in the browser
- gdal
- wrapper
- bindings
- js