Meta repository with getting-started info for projects released by Abstract group at CMU
☆18Jan 12, 2023Updated 3 years ago
Alternatives and similar repositories for releases
Users that are interested in releases are comparing it to the libraries listed below
Sorting:
- A tool for weighted model counting through tensor network contraction☆22Nov 13, 2021Updated 4 years ago
- Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.☆12Mar 21, 2024Updated last year
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆10Jan 5, 2024Updated 2 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆12Aug 1, 2024Updated last year
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- Drop-in replacement for IEEE Float☆42Jun 4, 2020Updated 5 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 6 months ago
- Benchmark workloads of Nightcore☆12Feb 15, 2021Updated 5 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 2 years ago
- R code to "average" GPS traces from OpenStreetMap to derive usable GPX tracks for roadways☆21Dec 4, 2018Updated 7 years ago
- ☆13Apr 12, 2019Updated 6 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- A Parallel Simulation Framework For Multicore Systems☆10May 20, 2017Updated 8 years ago
- Prototype implementation of an architecture suggested in Robot Dream paper (http://arxiv.org/abs/1603.03007)☆12Jul 3, 2019Updated 6 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Demonstrating the usage of FGYM: A Toolkit for benchmarking FPGA-accelerated Reinforcement Learning☆13Aug 12, 2021Updated 4 years ago
- High-Performance Reproducible BLAS using posit arithmetic☆12Mar 16, 2022Updated 3 years ago
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago
- ☆12Mar 11, 2021Updated 4 years ago
- Source code of the processing-in-memory simulator used in the GRIM-Filter paper published at BMC Genomics in 2018: "GRIM-Filter: Fast See…☆11Feb 5, 2018Updated 8 years ago
- Python library (C++ backend) for degree-preserving network randomization☆14Oct 14, 2019Updated 6 years ago
- Implementation of Nonparametric Hamiltonian Monte Carlo☆13Feb 13, 2023Updated 3 years ago
- ☆13Sep 10, 2018Updated 7 years ago
- PipeProof☆11Dec 18, 2019Updated 6 years ago
- Source code for the architectural and circuit-level simulators used for modeling the CROW (Copy-ROW DRAM) mechanism proposed in our ISCA …☆15Aug 2, 2019Updated 6 years ago
- µTune: Auto-Tuned Threading for OLDI Microservices☆14Oct 8, 2018Updated 7 years ago
- ☆14Apr 5, 2023Updated 2 years ago
- the blog "Machine Logic"☆22Feb 26, 2026Updated last week
- Cilk application benchmark programs☆11Aug 20, 2022Updated 3 years ago
- genome sequence alignment☆14Oct 9, 2019Updated 6 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 5 years ago
- Displays an interactive graph based on data from pipe.☆13Jul 3, 2020Updated 5 years ago
- ☆16Jul 27, 2022Updated 3 years ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Aug 23, 2021Updated 4 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆14Jul 21, 2020Updated 5 years ago
- CNN Accelerator in Frequency Domain☆12Feb 22, 2020Updated 6 years ago