Repository Index

Elixir coordinate conversion library using OSGeo's PROJ.4

• geospatial
• distance-calculation
• coordinate-systems
• osgeo-proj

Scan and parse LL(1) grammars simply and efficiently.

• go
• golang
• pratt-parser
• lexer-parser

Thorium Scripting Language

libuv bindings for Scala Native

• libuv
• scala-native

Delphic wrapper for libdmtx

Scala Native bindings for the GNU Ncurses C library

• scala
• scala-native
• ncurses-library
• bindings

LibRHash for Pascal

• librhash
• rhash
• hash
• windows

ScalaNative bindings for Qt5

• scala-native
• qt5

Formally verified implementation of the CoAP protocol in SPARK/Ada

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

JS style promises added to GML, as well as an abundant number of async functions which can now return a promise.

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

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

A reimplementation of the FIRST Robotics WPILib libraries in Scala for Scala Native support

Minimalistic monad syntax for OCaml.

Ada EL - Expression Language Library (JSR245)

Ada binding for liblzma compression library

• lzma
• ada
• compression

Cancellation propagation library for Common Lisp with deadlines and timeouts

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

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

Library to manage application lifetime in a Go microservice architecture

• go
• golang
• library
• microservice

A fast, JSoup-inspired HTML5 parser and DOM manipulation library for [V](https://vlang.io), powered by [Lexbor](https://lexbor.com)

Ada bindings of Turbo Pascal 7.0 units with Gnoga.

:traffic_light: Go bindings for libappindicator3 C library

A simple web application boilerplate using Common Lisp

• lisp
• common-lisp

Extra contribution for mathcomp

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