Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Repository Index
47,133 repositories indexed
529–552 of 798 · Most stars
.NET wrapper around the LibSass library with the ability to support a virtual file system.
Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.
- csharp
- dotnet
- fsharp
- mono
High performance gradient boosting for Ruby
- machine-learning
- lightgbm
- rubyml
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
Automatic generation of N-API wrapper from a C++ library
- napi
- n-api
- nodejs
- node-addon-api
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
The Penn Locally Nameless Metatheory Library
Experimental Malfunction backend for Idris
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Common Lisp with Arc Macros and Procedures
The repository host gives no description.
WebAssembly wrapper to simplify fast math coding
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
Wrapper for feeder. Elixir RSS parser
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
- curl
- libcurl
- libuv
- multiprocessing
Thin wrapper over Nuklear for Common Lisp
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper
A simple wrapper for raylib in V
A Javascript to PICO-8 Lua transpiler
- javascript
- pico-8
- lua
- transpiler
Functional programming in Groovy
A PEG parser/transformer with a pleasant Elixir DSL.