d01c2

shared-everything-threads

A draft proposal for spawning threads in WebAssembly

make-your-own-js-runtime

Run JavaScript from Rust using the Deno Runtime crate

mill

Mill is a fast JVM build tool that supports Java and Scala. 2-4x faster than Gradle and 5-10x faster than Maven for common workflows, Mill aims to make your project’s build process performant, maintainable, and flexible

BitsAndBytes

not-awesome-web3-security-roadmap

Not so awesome Web3 Security Reasearcher roadmap by tpiliposian

todoctor

🐍 CLI tool to track and visualize TODO comments in Git repositories and make report

uniffi-rs

a multi-language bindings generator for rust

sh-deno

Security hardened Deno for macOS

strawberry

🍓 A toy object-oriented programming language written by rust

functional-programming

Introduction to Functional Programming using TypeScript and fp-ts.

functional-programming

TypeScript 와 fp-ts 를 활용한 함수형 프로그래밍 소개

hindley_milner

A C++11 implementation of Hindley-Milner type inference.

candle

Minimalist ML framework for Rust

Tracer

Set of Dynamic Binary Instrumentation and visualization tools for execution traces.

loco

🚂 🦀 The one-person framework for Rust for side-projects and startups

CoC

cargo-xtask-example

An example repository for @matklad's cargo xtask pattern.

openvmm

Home of OpenVMM and OpenHCL.

ProofPool

Agda proofs for various topics

linux

Linux kernel for WebAssembly

Daredevil

A tool to perform (higher-order) correlation power analysis attacks (CPA).

program-analysis-examples

Notes for CIS 700 (Fall '19) at Syracuse U.

monadic-ai

Scala implementation of a monadic abstract interpreter

proposal-structs

JavaScript Structs: Fixed Layout Objects

codeql-python

Python bindings for CodeQL CLI

tree-sitter-ql

tree-sitter grammar for the CodeQL language

qiling

A True Instrumentable Binary Emulation Framework

simple-abstract-interpreter

A Simple Abstract Interpreter, built for teaching purposes

Deadpool

Repository of various public white-box cryptographic implementations and their practical attacks.

Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.