https://www.usenix.org/conference/atc20/presentation/boucher
☆26Mar 25, 2022Updated 3 years ago
Alternatives and similar repositories for libinger
Users that are interested in libinger are comparing it to the libraries listed below
Sorting:
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Apr 18, 2019Updated 6 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆67Feb 20, 2026Updated last week
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 9 months ago
- Better Code (redux) course and book materials☆24Feb 20, 2026Updated last week
- gcc plugin to discover optimization passes used during compilation☆20Feb 10, 2021Updated 5 years ago
- ☆21Apr 17, 2019Updated 6 years ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Jul 18, 2024Updated last year
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Mar 20, 2021Updated 4 years ago
- Session Type EDSL for Rust☆103Jun 29, 2022Updated 3 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆31Feb 4, 2019Updated 7 years ago
- An operation-log based approach for data replication.☆65Apr 27, 2023Updated 2 years ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 4 years ago
- ☆28Nov 20, 2025Updated 3 months ago
- A determinizing tracer using Ptrace☆39Sep 20, 2020Updated 5 years ago
- The Domino compiler to run packet programs on pipelined switches☆29Aug 12, 2021Updated 4 years ago
- The SuperC Parsing Framework☆35May 21, 2025Updated 9 months ago
- Run a process on a particular subset of the available hardware.☆36Jan 27, 2020Updated 6 years ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- simple snapshot-style integration testing for commands☆75May 29, 2025Updated 8 months ago
- Markup source code showing optimizations☆36Jan 21, 2020Updated 6 years ago
- ☆13Jun 26, 2024Updated last year
- Attribute grammar Based Language Extensions for C☆42Feb 20, 2026Updated last week
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆31Jan 7, 2022Updated 4 years ago
- A minimal (really) out-of-tree MLIR example☆46Aug 14, 2025Updated 6 months ago
- HPC research and demonstrations☆114Dec 17, 2025Updated 2 months ago
- A library for deadlock-free session-typed communication in Rust.☆49Feb 17, 2021Updated 5 years ago
- Compiler for Swiftlet☆40May 7, 2024Updated last year
- My multi-system flake configuration☆12Feb 19, 2026Updated last week
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- Many companies are utilizing the cloud for their day to day activities. Many big cloud service providers like AWS, Microsoft Azure have b…☆11Nov 13, 2022Updated 3 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Embedded async HTTP 1.1 server based on a source code from https://github.com/splunk/pion☆13Jan 20, 2021Updated 5 years ago
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 3 months ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Sangria akka-streams integration☆11Feb 8, 2026Updated 2 weeks ago
- Detachable, Dynamic combination, cloud native, modern DB infrastructure☆11Sep 17, 2024Updated last year
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago