Repository Index

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

The Java API for Onyx

Ada bindings for the player robotic platform