BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Repository Index
47,133 repositories indexed
649–672 of 996 · Most stars
Java wrapper for SDL and LibGDX controller API
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
FANN (Fast Artifical Neural Network) binding in Crystal
- fann
- neural-network
- machine-learning
- crystal
.NET wrapper around the LibSass library with the ability to support a virtual file system.
Provide await and async methods to Crystal Lang
- crystal-language
- concurrency
A library for managing pools of workers
- elixir-library
- worker-pool
- elixir
- poolboy
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
Unit tests generator for Go programming language
- go
- golang
- unit-testing
- generator
A fast and simple .NET parsing library
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
Write HTML in plain Crystal
Automatic C-bindings generator for the Crystal language
- crystal
- code-generation
- binding-generator
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
- logging
- process
- streams
- serializer
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
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
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
Fast Ruby FFI string edit distance algorithms
Experimental Malfunction backend for Idris
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism