Repository Index

Execute WebAssembly from Elixir

• rust
• wasm
• elixir
• elixir-library

JSON query and transformation language

• java
• json
• query
• transform

Lisp/Hiccup style templating for Facebook's React in ClojureScript.

• react
• clojurescript
• hiccup
• template

Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.

• ramda
• addons
• adjunct
• cookbook

ember-concurrency is an Ember Addon that enables you to write concise, worry-free, cancelable, restartable, asynchronous tasks.

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

• sql
• compiler
• typechecker
• sqlite

A simple, easy to use library for React development in ClojureScript.

• clojurescript
• hooks
• react
• interop

Run ARM64 Linux userspace and desktop applications on iPhone and iPad.

• arm64
• debian
• interpreter
• ios

:spider_web: A Python interface to CGAL's meshing tools

• mesh
• mesh-generation
• mathematics
• engineering

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• functional-programming
• category-theory
• functor
• monad

PHP library for parsing plain text email content.

• php
• parser
• email

A Ruby wrapper library to the tesseract-ocr API.

• rubynlp
• tesseract-ocr
• ruby
• wrapper

R frontend for Spark

Run Node.js on Android by rewrite Node.js in Java

• udt
• p2p
• node-android
• java

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

An OpenJDK release maintained and supported by SAP

• openjdk
• java
• open-source
• jdk

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!

parser for Google ProtocolBuffers definition

• protobuf
• parser
• proto3
• formatter

URSA - RSA public/private key OpenSSL bindings for Node.js

An Optional Type System for Lua

An ERB-style templating language for Go.

• go
• template-language
• erb

💎 Ruby wrapper for Pygments syntax highlighter

• pygments
• ruby
• syntax-highlighting

:musical_note: strongly-timed musical programming language

• language
• composition
• programming-language
• synthesis