Stars
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
Verification framework and tool for higher-order Scala programs
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
🚀 Fast, secure, lightweight containers based on WebAssembly
An experimental GHC plugin for monoid comprehensions.
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
adaption of supercompilation-by-evaluation (https://github.com/batterseapower/supercompilation-by-evaluation) to update-to-date ghc
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.