Automatic generation of N-API wrapper from a C++ library
- napi
- n-api
- nodejs
- node-addon-api
Repository Index
47,133 repositories indexed
1,249–1,272 of 1,986 · Most stars
Coroutines for GameMaker
- gamemaker
- gamemaker-studio-2
- gms2
- coroutines
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
The repository host gives no description.
- rubyml
- machine-learning
- ruby
- ml
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
Selenium WebDriver Bindings for Objective-C
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Idris LLVM codegen factored out
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
High level go to Lua binder. Write less, do more.
- go
- golang
- lua
Fast Ruby FFI string edit distance algorithms
יון no BS JS
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Salesforce Formula Parser implemented in ES2017. Live demo at
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Apache Kafka Client for Delphi
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar