Repository Index

Password hashing specification for the Elixir programming language

• argon2
• bcrypt
• pbkdf2
• elixir

Typed, correct GraphQL requests and responses in Rust

• graphql
• rust
• wasm
• webassembly

Wasmer SDK: Run anything, anywhere suing WebAssembly-based sandboxes

• webassembly
• nodejs
• npm-package
• wasi

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

• java
• jit-compiler
• openjdk
• jvm

Monads and other dark magic for Elixir

• elixir
• type-class
• functor
• monad

libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.

• libsodium
• javascript
• cryptography
• crypto

WebAssembly Smart Contracts for the Cosmos SDK

• cosmos-sdk
• rust
• smart-contracts
• webassembly

Rust virtual machine and JIT compiler for eBPF programs

• jit-compiler
• ebpf
• ebpf-programs
• rust

A Cargo subcommand for the client-side Web

• rust
• web
• asmjs
• emscripten

:station: - friendly web compiler

• compile
• assets
• browserify
• server

Bind C++ functions and classes into V8 JavaScript engine

• javascript
• c-plus-plus
• cpp
• cpp14

A .NET library to parse and execute JavaScript code.

• javascript
• compiler
• library

Modify deeply nested case class fields

• scala
• lenses
• functional-programming

A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.

• assembly
• compiler
• macos
• php

Execute WebAssembly from Elixir

• rust
• wasm
• elixir
• elixir-library

An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.

• cpp
• cplusplus
• cplusplus-17
• actor-model

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

• algebraic-data-types
• optics
• functional-programming
• algebra

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+30% to 125%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.

• arm64
• c
• compression
• lz4

Compile Java byte-code to native CPU's.

• 6502
• assembly
• atari
• c64

DOM library for Go and WASM

• golang
• webassembly
• dom

iOS utility class to manage global dispatch queue.