Parallel Self-Adjusting Computation
☆19Jul 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:
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 8 years ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Fast Vector Operations on Pretty Big Data☆13Nov 17, 2015Updated 10 years ago
- Spytial: Lightweight Diagrams for Structured Python Data☆15Updated this week
- 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.
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Package Python software as an RPM including all dependencies (even the interpreter).☆11Jan 14, 2020Updated 6 years ago
- ☆13Feb 10, 2015Updated 11 years ago
- Eggs.SQLite is a Modern C++ thin wrapper over SQLite☆14Aug 30, 2012Updated 14 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated last year
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- A TLA+ AutoRepair System For Formal Specification with GPT-4☆15Jul 23, 2023Updated 3 years ago
- Network wire protocols☆11Sep 28, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jul 10, 2026Updated 3 months ago
- An open-source C++ library for parsing reStructuredText☆18Jun 5, 2014Updated 12 years ago
- A library to facilitate interoperation of Traits with Enaml > 0.8.x☆15Dec 5, 2022Updated 3 years ago
- A library for tracking program state☆15Jun 18, 2016Updated 10 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- LaTeX package to write Graphviz (dot) files inline☆12Sep 2, 2015Updated 11 years ago
- ☆14Jun 20, 2025Updated last year
- AXE: a recursive descent parser generator C++ library☆16Oct 24, 2026Updated last week
- ☆16Feb 11, 2025Updated last year
- 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.
- A lisp embedded in C++ syntax by overriding the comma operator☆12Jul 21, 2023Updated 3 years ago
- ☆13Apr 12, 2019Updated 7 years ago
- Repository for the DPP'23 course☆11May 2, 2024Updated 2 years ago
- ☆14Feb 22, 2026Updated 8 months ago
- ☆10Nov 26, 2020Updated 5 years ago
- Fastest Branchless Binary Search☆24Jul 6, 2023Updated 3 years ago
- Implementations of µKanren in assorted languages☆64May 25, 2016Updated 10 years ago
- streaming video stream from hikvision card to rtmp server☆11Nov 15, 2013Updated 12 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated 2 years ago
- Accepted by NAACL 2025 main conference.☆11Jan 24, 2025Updated last year
- Library for comfortable work with DLL and DSO☆115Sep 6, 2026Updated last month
- JSONiq Specification☆17Mar 24, 2016Updated 10 years ago
- CLIP-based Neural Neighbor Style Transfer for 3D Assets☆21May 6, 2023Updated 3 years ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 5 years ago
- Demo version of IPySigma jupyter/node.js application☆17Aug 24, 2017Updated 9 years ago