TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
47,133 repositories indexed
865–888 of 1,990 · Most stars
TypeQL: Built for systems, not records
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
The GPars concurrency and parallelism framework for the JVM
An experiment in adding functional pattern matching to JavaScript
Strip console, alert, and debugger statements from JavaScript code
Elegance, high performance and robustness all in one java bean mapper
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Directly include C headers in D source code
High performance System.Threading.(Value)Task computation expressions for F#
Bindings to connect lua with Steam API
An F# type provider for in-process R interop
A simple, easy to use library for React development in ClojureScript.
Parser combinators for Idris
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
CloudSlang Language, CLI and Builder
🛠 A full-featured dependency injection container for go programming language.
Debounce promise-returning & async functions
ReScript bindings for Formidable's Universal React Query Library, urql.
A function definition package for Rocq
(c-include "file.h") => complete FFI wrapper
C++20 Microservice Bootstrapping Framework
A concise and readable language for Firestore security rules, similar to Firebase Bolt.