Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
Simple parser combinators for Common Lisp.
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.
Unit tests generator for Go programming language
Create a deferred promise
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object
Automatic C-bindings generator for the Crystal language
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
Automatic generation of N-API wrapper from a C++ library
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.
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Wrap existing D code for use in Python, Excel, C#
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
The Penn Locally Nameless Metatheory Library
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