A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Repository Index
74,860 visible repositories in the index
625–648 of 1,059 · Most stars
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.
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Bindings to connect lua with Steam API
- game-development
- love2d
- lua
- steam-api
Directly include C headers in D source code
- translation
- cpp17
- cpp
- clang
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
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
- regular-expression
- regexp
- regex
- code-generation
Debounce promise-returning & async functions
CloudSlang Language, CLI and Builder
🛠 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 Modern and Flexible Web Client for R
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
Haxe/Lua externs for Defold game engine
- defold-game-engine
- haxe
- lua
- lua-externs
Verifying Signal's security at the machine-code level
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
A Java DSL (Builder) for the Cypher Query Language