Stars
WebAssembly / jit-interface
Forked from WebAssembly/specWebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal.
Zero-Cost Type Class Derivation for Scala 3 Opaque Types(with limitations)
comparing the c ffi (foreign function interface) overhead on various programming languages
A reactive programming interface for algorithms and ASCII art. Recho Notebook introduces a plain code format for notebooks, echoing outputs inline for in-situ coding with instant feedback, built on…
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…
Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
A modern supercompiler for call-by-value functional languages
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Rhyme is an Expressive Data-Centric Query Language
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)
Self-hosting compiler for the Grace programming language
Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
A simple macOS application that will prevent iTunes or Apple Music from launching.
A Zotero plugin for syncing items and notes into Notion
Compiler for the Vale programming language - http://vale.dev/
Proposal to add tail calls to WebAssembly
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
AirPods Sound Quality Fixer And Battery Life Enhancer For MacOS
Visual Studio Code extension for Metals