Repository Index

Evaluate user input expressions

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

Augments Hunchentoot error pages and logs with request and session information.

• web
• hunchentoot
• lisp
• common-lisp

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

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

Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.

• async
• auto-scaling
• backpressure
• concurrency

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

Single-header C++ JIT compiler/evaluator for mathematical expressions

• expression-evaluator
• expression-parser
• formula-engine
• formula-evaluator

Fast and flexible HTTP request parser for Go

• go-library
• golang
• http
• middleware

The Java API for Onyx

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Solving the mini Rubik (2x2) in Coq

• theorem-proving
• formalization
• rubik-cube
• 2x2x2

a "compiler" (as in `Mix.compilers`) for Elixir that just runs make

Ada bindings for the player robotic platform

Formal proof in Coq of Puiseux's Theorem.

Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)

• bytecode
• cfr
• decompilation
• decompiler

This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.

This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.