Parallel Self-Adjusting Computation
☆18Jul 5, 2021Updated 5 years ago
Alternatives and similar repositories for psac
Users that are interested in psac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A scheduler independent blocking mechanism☆20Feb 15, 2024Updated 2 years ago
- ☆14Apr 24, 2024Updated 2 years ago
- Various mechanized proof files for fun.☆15Jul 25, 2026Updated 3 weeks ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- torch implementation of diloco☆26Jul 17, 2026Updated 3 weeks ago
- Template repo for quickly creating an HTTP API with Rust hosted on AWS Lambda☆12Jul 26, 2022Updated 4 years ago
- An open-source C++ library for parsing reStructuredText☆18Jun 5, 2014Updated 12 years ago
- Code for implemeting a conditional DDPM trained on CIFAR10☆14Jan 15, 2024Updated 2 years ago
- Fastest Branchless Binary Search☆24Jul 6, 2023Updated 3 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- Randomized testing framework, designed for compatibility with Base☆18Jul 10, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Projen Project for deployable CDK Typescript Applications☆10Updated this week
- Experimental model checker for testing concurrent algorithms☆46Aug 1, 2026Updated 2 weeks ago
- ☆13Apr 12, 2019Updated 7 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- ODYSSEUS/EduCOSMOS☆10Aug 12, 2020Updated 6 years ago
- Data ingestion and curation tools☆18Dec 13, 2024Updated last year
- A minimal Rust image paste service☆18Updated this week
- Dumps Oracle OCI function calls issued by Oracle client applications.☆17Jul 21, 2024Updated 2 years ago
- Awesome lists about all kinds of awesome skills to help you go out of 35 crisis, and most important, to tell you how to enjoy your life.☆19Jul 9, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- This is a fork of the official libpqtypes repository once maintained by Andrew Chernow and Merlin Moncure from eSilo (see http://libpqtyp…☆17Nov 7, 2016Updated 9 years ago
- CLIP-based Neural Neighbor Style Transfer for 3D Assets☆21May 6, 2023Updated 3 years ago
- Smoothing video traffic to make it a friendlier internet neighbor☆14Apr 23, 2024Updated 2 years ago
- Getting started guide into softwaree engineering in Rust☆26Nov 29, 2023Updated 2 years ago
- ☆11Jan 27, 2021Updated 5 years ago
- ☆10Nov 26, 2020Updated 5 years ago
- A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012☆17Jun 21, 2013Updated 13 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆23Jul 12, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The pbench is Windows equivalent to Unix "time" command to measure process resource usage.☆20Jan 7, 2024Updated 2 years ago
- POSTECH: Compiler Construction (Spring 2022)☆11Mar 10, 2023Updated 3 years ago
- A stepping debugger for Standard ML (SML)☆31Feb 20, 2024Updated 2 years ago
- A framework for testing compilers' type checkers☆69Mar 17, 2026Updated 4 months ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- HTML generation combinators for OCaml☆22Updated this week
- Template for creating C++ projects that use CMake.☆20Mar 20, 2022Updated 4 years ago