A tool for reversible computation in C++ based on incremental state saving.
☆22Apr 2, 2020Updated 5 years ago
Alternatives and similar repositories for backstroke
Users that are interested in backstroke are comparing it to the libraries listed below
Sorting:
- An implementation of the reversible semantics for Erlang.☆13Nov 9, 2017Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- The Notes☆12Jan 10, 2018Updated 8 years ago
- An example of writing an AWS Lambda function in Purescript☆36Oct 28, 2017Updated 8 years ago
- Implementation of FizzBuzz on an FPGA☆17Feb 26, 2018Updated 8 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Aug 17, 2023Updated 2 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- My notes from reading this amazing book by Peter M. Kogge.☆25Apr 14, 2014Updated 11 years ago
- VidorPeripherals "fat" library repository - for issues/PR refer to☆30Jan 25, 2019Updated 7 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Apr 12, 2013Updated 12 years ago
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Feb 11, 2026Updated 2 weeks ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- HDLBits-Solutions☆10May 27, 2022Updated 3 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- Interpreter for the reversible functional language rFun☆38Feb 28, 2018Updated 8 years ago
- ☆18Mar 6, 2013Updated 12 years ago
- Small experimental Unity project: DXR + Spline☆14Sep 13, 2023Updated 2 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- ☆12Apr 4, 2019Updated 6 years ago
- MACE is A C++ Engine☆10Dec 9, 2019Updated 6 years ago
- Perl interface to valence/electron GUI toolkit☆11Jan 10, 2018Updated 8 years ago
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Jul 9, 2014Updated 11 years ago
- Utility for making crosschain transactions on the Wanchain network☆13Mar 18, 2019Updated 6 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Blocks graphs in blueprints to keep a consistent codebase for C++ projects☆10Jul 28, 2023Updated 2 years ago
- Holoplay.js compatible server for Linux (and probably other OSes)☆10Mar 27, 2019Updated 6 years ago
- Sublime Open Shading Language☆16Feb 23, 2019Updated 7 years ago
- pano date resolver stuff☆18Dec 3, 2025Updated 2 months ago
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 10 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Jan 1, 2016Updated 10 years ago
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- ☆45Jun 20, 2019Updated 6 years ago
- Recursive LAPACK Collection☆44Feb 20, 2022Updated 4 years ago
- ☆44Mar 12, 2025Updated 11 months ago
- Mobile Cashu Mint, Rust + Kotlin☆14Nov 14, 2025Updated 3 months ago
- A Cashu wallet skill for AI agents☆22Jan 31, 2026Updated last month