Repository Index

The repository host gives no description.

Automatic generation of N-API wrapper from a C++ library

• napi
• n-api
• nodejs
• node-addon-api

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

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

• monads
• result-type
• typing
• python

`llthreads` library rewritten without `LuaNativeObjects` code generator

• lua
• threading
• pthreads
• lua-binding

A native Selenium WebDriver binding for ColdFusion

• coldfusion
• lucee
• railo
• selenium

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• aadl
• ada

Fast SIP and SDP Parser

• sip-headers
• parse
• sdp
• sip-messages

brain-dead simple parallel processing for ruby

Load Common Lisp code blocks from Org files

• literate
• programming
• lisp
• org

A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

A total recursion scheme library for Dhall

• dhall
• recursion-schemes

generates luajit ffi bindings from c headers

• ffi
• luajit
• cparser
• binding-generator

a tool for handling file uploads simple

• file
• upload
• multipart
• http

Messaging system for communication between classes / layers in delphi

• delphi
• firemonkey
• vcl
• fmx

Highly concurrent drop-in replacement for bufio.Writer

• golang
• concurrent
• io
• multithreading

JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

• coq
• theorems

A Coreader-like Dependency Injection μFramework

• dependency-injection
• coreader
• functional-programming
• ios

Builds of the GNAT Ada compiler from FSF GCC releases

Foundational Cryptography Framework for machine-checked proofs of cryptography.