An inter-process and inter-machine lockfile utility that works on a local or network file system.
- lockfile
- atomic
- nodejs
- cross-process
Repository Index
47,133 repositories indexed
145–168 of 288 · Most stars
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
FXRuby is an extension module for Ruby that provides an interface to the FOX GUI toolkit.
A Library for Representing Recursive and Impure Programs in Coq
ClojureScript library for Ant Design React UI components
- clojurescript
- reagent
- rum
- reagent-components
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 TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
cpp11 helps you to interact with R objects using C++ code.
- r
- cpp11
- cpp
A Clojurey wrapper around the Lanterna terminal output library.
- terminal
- clojure
- clojure-library
interactive programming of melodies, producing MIDI
⛓ A chainable interface for Swift's async/await.
- async-await
- swift5
- concurrency
- async
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
[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
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
An esoteric programming language built to break LLMs and coding agents.
Boost.org interprocess module
Railway-oriented programming for .NET
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction