Repository Index

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

An elixir haml parser

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

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

• deno
• typescript
• rust
• error-handling

Secure firmware framework focusing on developer experience

• embedded
• firmware
• framework
• iot

A lightweight lexical string parser for BBCode styled markup.

• decoda
• bbcode
• bbcode-parser
• hooks

state machine which runs code

• golang
• workflows
• state-machine
• actor-model

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

A tiny CSS parser

• python
• css
• parser

Jitescript - Java API for Bytecode

Providing pattern matching for modern C++.

• cpp
• pattern-matching
• modern-cpp

An esoteric programming language built to break LLMs and coding agents.

• benchmark
• esolang
• interpreter
• language

The iterable toolbox

Boost.org interprocess module

Extism Go SDK - easily run WebAssembly modules in your Go applications

Railway-oriented programming for .NET

Modern cryptography (libsodium/NaCl) for Clojure

golang wrapper for github.com/OSGEO/gdal

SDL2 module for Deno

• gui
• deno
• typescript
• canvas

:ram: :mag_right: Lens library built on ramda

CSP-style concurrency for Python

• python
• asyncio
• csp
• concurrency

Go Lang Web Assembly bindings for DOM, HTML etc

• wasm
• binding
• golang

GoJava - Java bindings for Go packages