Hahn github.com

Library for reasoning on lists and binary relations.

Bedrock Bit Vectors github.com

Library for reasoning on fixed precision machine words.

Gaia github.com

Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.

AptosAMMswap github.com

Aptos AMM Swap implemented by the OmniBTC team.

NeuralNetworks-V-Module github.com

This is a V module to create neural networks.

ada-ado github.com

Ada Database Objects is an Ada05 library that provides object relational mapping to access a database in Ada05. The library supports PostgreSQL, MySQL, SQLite as databases. Most of the concepts developped for ADO come from the Java Hibernate ORM.

xmlada github.com

The XML/Ada toolkit.

Moira github.com

cl-mixed github.com

plain-common-lisp github.com

specialization-store github.com

cl-webdriver-client github.com

s2i-lisp github.com

glyphs github.com

40ants/setup-lisp github.com

Facebook github.com

Integrate Facebook SDK into your AIR apps.

Flow github.com

Layout, effects, data binding and remoting framework to be used instead of Flex.

Adobe TLF github.com

Adobe/Apache Flex Text Layout Framework (TLF).

gitlab.cr github.com

GitLab API wrapper

Facade github.com

LV_Colors github.com

ISO8601 github.com

Nproc github.com

Dum github.com

Mono-D's DParser github.com

crown github.com

Crown is a general purpose data-driven game engine, written from scratch in orthodox C++ with a minimalistic and data-oriented design philosophy in mind. [MIT]

libevil github.com

The Evil License Manager. [GPLv3]

echo github.com

A meta-notification system; Echo checks notification preferences & dispatches notifications.

exkorpion github.com

A BDD library for Elixir developers.

plug_secex github.com

Plug that adds various HTTP Headers to make Phoenix/Elixir app more secure.

hexate github.com

Simple module for Hex encoding / decoding in Elixir.

riak_ecto github.com

Riak adapter for Ecto.

mnemonic_slugs github.com

A memorable, mnemonic slug generator in Elixir.

chatter github.com

Secure message broadcasting based on a mixture of UDP multicast and TCP.

ex_prompt github.com

Helper package to add interactivity to your command line applications as easy as possible.

Tuck github.com

A micro framework for building Reagent apps that have a clean separation of view code and event processing code.

plato github.com

Incrementally persists atom state to Local Storage in ClojureScript.

Arli github.com

TestXml github.com

toml-scala github.com

goriak github.com

Go language driver for Riak KV.

set github.com

Simple set data structure implementation in Go using LinkedHashMap.

stl github.com

Software transactional locks based on Software Transactional Memory (STM) concurrency control mechanism.

rebed github.com

Recreate folder structures and files from Go 1.16's embed.FS type

graterm github.com

Provides primitives to perform ordered (sequential/concurrent) GRAceful TERMination (aka shutdown) in Go application.

xmlwriter github.com

Procedural XML generation API based on libxml2's xmlwriter module.

sched github.com

A job scheduler with the ability to fast-forward time.

Hamcrest github.com

fluent framework for declarative Matcher objects that, when applied to input values, produce self-describing results.

go-multiproxy github.com

Library for making HTTP requests through a pool of proxies offering fault tolerance, load balancing, automatic retries, cookie management, and more, via http.Get/Post replacement or http.Client RoundTripper drop-in

goes github.com

Library to interact with Elasticsearch.