Repository Index

ES6 arrow functions compiled to ES5 compliant code.

A Ruby interface to the Timbl machine-learning library

Grammar handling and parser generation Ada library

• ada
• grammars
• parsing
• syntax-analysis

Extra contribution for mathcomp

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

Solving the mini Rubik (2x2) in Coq

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

Vala bindings for libcmark, the CommonMark parsing and rendering library in C

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

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

Formal proof in Coq of Puiseux's Theorem.

Ruby bindings to Hunspell 1.2.x with iconv support

A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.

A Parenscript to Javascript command line compiler and interpreter.

Scala Native bindings for the Cairo 2D graphics library

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

• bytecode
• cfr
• decompilation
• decompiler

Scala Native bindings for the IUP user interface library

• bindings
• iup-gui-library
• scala

Scala Native bindings for libsndfile

Rebar3 neotoma (Parser Expression Grammar) compiler

An expressive high level language for the Algorand block chain that compiles to TEAL code.

• blockchain
• algorand
• teal
• smartcontract

Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.

• 16-bit
• 8086
• compiler
• devkit

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.

• functional-programming
• java
• json-values
• persistent-data-structure

TranslatedHMap (Happy Map) is a concurrency-safe Map implementation that supports generics. It aims to provide a simple and easy-to-use API, supports generic key-value pairs, and also adds methods for querying the length of the Map and for clearing the Map.

• safemap
• generic-map

FitEx is a Macro-Module which provides a bit of sugar for function definitions.

• macros
• elixir-lang
• elixir
• functional-programming

Scala Native bingins for libpng

Elixir Tel URI parser compatible with RFC3966