A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/

a language for fast, portable data-parallel computation

Collection of advice for prospective and current PhD students

A collection of modern/faster/saner alternatives to common unix commands.

A multi-level tensor algebra superoptimizer

an educational compiler intermediate representation

A massively parallel, high-level programming language

Pure functional programming with whole-program mutability inference

Verified Rust for low-level systems code

Very fast SPARQL Engine, which can handle very large knowledge graphs like the complete Wikidata, offers context-sensitive autocompletion for SPARQL queries, and allows combination with text search…

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

Implementation of "A Lineage-Based Referencing DSL for Computer-Aided Design", PLDI 2023

benchmarking e-graph extraction

library learning w egraphs

Refinement Types for Rust

FPGA synthesis tool powered by program synthesis

Apache Calcite

DuckDB is an analytical in-process SQL database management system

APIs for more recursive definitions

A tiling window manager for macOS based on binary space partitioning

FoundationDB - the open source, distributed, transactional key-value store

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http:https://github.com/logseq/logseq/releases. roadmap: http:https://trello.com/b/8txSM12G/roadmap

Fast persistent recoverable log and key-value store + cache, in C# and C++.

Proposal for e-graphs workshop at PLDI 2023

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229