A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
61,275 visible repositories in the index
313–336 of 599 · Most stars
A port of Coq to Javascript -- Run Coq in your Browser
Compile Java byte-code to native CPU's.
Throttle promise-returning & async functions
Tulip Node is the official node.js wrapper for Tulip Indicators. It provides over 100 technical analysis overlay and indicator functions.
Java 8 Date-Time API for Clojure
Ruby to JavaScript conversion
Stream utilities for Java 8
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
fantasyland extensions for immutablejs
Idris on the JVM
This projects gives Kotlin bindings and several extensions for Apache Spark. We are looking to have this as a part of Apache Spark 3.x
A small JavaScript library for defining and using union types.
ChoiceScript is a language for developing multiple-choice games.
Turn Buffer instances into "pointers"
Java utilities: DeepEquals, Converter, LRUCache, CompactMap/Set, CaseInsensitiveMap, UniqueIdGenerator, FastReader/Writer, and more. Zero dependencies, JDK 8+
Functional programming for modern Fortran
Docile keeps your Ruby DSLs tame and well-behaved
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
Utilities for treating frozen JavaScript objects as persistent immutable collections
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.
A lodash-inspired lens-like library for Javascript
JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
A fast object pool for the JVM