Repository Index

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.

• clr
• vba
• visual-basic
• netframework

Tensorflow wrapper for D

• tensorflow
• tfd
• dlang
• d

Common tools for projects

• cross-platform
• pascal-language
• library
• json

D bindings for the sokol headers (https://github.com/floooh/sokol)

• bindings
• d
• dlang
• sokol

Extremely simple Process pooling and task submission in Elixir

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

Evaluate user input expressions

• elixir
• elixir-library
• expression
• expression-evaluator

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)

• binary
• compiler
• runtime
• csharp

Crystal C bindings for the PortMIDI cross-platform MIDI I/O library

Ada bindings to the Microsoft NetFramework Api

• netframework
• ada-netframework
• gnat
• ada

The Java API for Onyx

Ada bindings for the player robotic platform