Repository Index

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

A Low-Latency, High Performance and Extensible WebAssembly Backend Library

🌟 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

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

state machine which runs code

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

Jitescript - Java API for Bytecode

Providing pattern matching for modern C++.

• cpp
• pattern-matching
• modern-cpp

The iterable toolbox

A Verified Compiler for Gallina, Written in Gallina

• coq
• gallina
• compiler
• formal-verification

Modern cryptography (libsodium/NaCl) for Clojure

SDL2 module for Deno

• gui
• deno
• typescript
• canvas

:ram: :mag_right: Lens library built on ramda

GoJava - Java bindings for Go packages

Yaml parser for Elixir based on native Erlang implementation

Easy OCaml bindings for Javascript libraries

First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.

• clojure
• pattern-matching
• functional-programming

A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.

• header-translation
• pascal-binding
• raylib
• lazarus

More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.

A Lens Library for Javascript

Fast resizable golang semaphore primitive

• semaphore
• go
• golang
• semaphore-pattern

FMOD Studio middleware integration and scripting API bindings for the Godot game engine.

• game-development
• game-engine-development
• game-audio
• dynamic-audio

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

• ada
• ada-language
• compiler
• virtual-machine