Repository Index

Composable kmett style lenses

Tomorrow's JavaScript syntax today

A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program

• concurrency
• go
• goroutine
• priority-queue

Embedded JavaScript Engine for R

• cran
• libv8
• r
• javascript

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

a network packet capture compiler

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.

• go
• golang
• type
• struct

An implementation of React hooks on top of purescript-react-basic

Open source PTX to SASS assember (previously closed source by nvidia), more efficient SASS kernal for large scale Matrix Multiplication and Addition (MMA)

• compiler
• compiler-backend
• compiler-optimization
• gpu-acceleration

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

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript

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

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

🌟 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

Rust-like error handling and options for Bun, Deno and Node.

• deno
• typescript
• rust
• error-handling

SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).

Jitescript - Java API for Bytecode

The iterable toolbox

Modern cryptography (libsodium/NaCl) for Clojure

SDL2 module for Deno

• gui
• deno
• typescript
• canvas

:ram: :mag_right: Lens library built on ramda

Easy OCaml bindings for Javascript libraries

A simple cross platform .NET API for Intel MKL

• mkl
• cross-platform
• matrix
• linear-algebra