Repository Index

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.

• fabric
• horizon
• minecraft
• neoforge

LMDB for Java

This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler

Like `Promise.all()` but for `Map` and `Object`

🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.

• javascript-framework
• react-components
• web-components
• dataformsjs

Jitescript - Java API for Bytecode

The iterable toolbox

:ram: :mag_right: Lens library built on ramda

GoJava - Java bindings for Go packages

Easy OCaml bindings for Javascript libraries

A Lens Library for Javascript

Free monad Collection

A JNI code generator based on the JNI generator used by the eclipse SWT project

A Go port of the Java Streams API. Type-safe and functional Go Streams processing

• golang
• go
• stream-processing
• generics

Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine

🤘Utility library for functional JavaScript. With ❤️ to Ramda.

• ramda
• ramda-functions
• utils
• utilities

Abstract Syntax Tree for parsing schema.prisma files

• prisma
• schema
• sdk
• ast

Modern CSS to all browsers

• css
• processor
• preprocessor
• compatibility

Get inside your JVM

• jvm
• java
• monitoring
• repl

RxJava bindings for Groovy

Java port of a concurrent trie hash map implementation from the Scala collections library

J2ME implementation in JavaScript

• j2me

Javascript Generalized Parser Combinators

• functional-programming
• parsec
• parser-combinator
• monad