Distributions of Agda executable compiled into WebAssembly.

A crate to help you go wide. By which I mean use SIMD stuff.

Change C++ code at runtime

Flamegraph viewer in the terminal

Verified Rust for low-level systems code

SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT

Automate code reviews, patching and documentation with LLM workflows.

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

Reinforcement learning environments for compiler and program optimization tasks

Source code of our paper MIND, ACL 2024 Long Paper

Stateful LLM Serving

Task graph-based asynchronous programming system using C++ coroutine

The WebAssembly Binary Toolkit

Code for a CPU, GPU and a Hybrid version of the FastICA algorithm.

LLVM Kalray Coolidge Port

Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

pocl - Portable Computing Language

ACL 2022, SimKGC: Simple Contrastive Knowledge Graph Completion with Pre-trained Language Models

A collection of research on knowledge graphs

Code for our ACL '23 paper titled "Grokking of Hierarchical Structure in Vanilla Transformers"

Proposal for a RISC-V Core-Local Interrupt Controller (CLIC)

Automatically generate a compiler using equality saturation

Hyperbolic Knowledge Graph embeddings.

🤖 A Python library for learning and evaluating knowledge graph embeddings

A list of papers, docs, codes about model quantization. This repo is aimed to provide the info for model quantization research, we are continuously improving the project. Welcome to PR the works (p…