Transfinite ordinal arithmetic and factorisation up to epsilon-zero
☆16Mar 22, 2022Updated 3 years ago
Alternatives and similar repositories for transfinite
Users that are interested in transfinite are comparing it to the libraries listed below
Sorting:
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Feb 24, 2026Updated last week
- Johann, the lightweight and flexible scenario orchestrator☆12Oct 3, 2022Updated 3 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- ☆10Oct 26, 2022Updated 3 years ago
- Implementation of PHP's var_dump function for JavaScript.☆11Jan 20, 2024Updated 2 years ago
- 适用于swoole 4.0+的开发框架☆11May 19, 2021Updated 4 years ago
- Analysis and certain modifications of Sim City 2000 save files (*.SC2).☆16Jul 21, 2014Updated 11 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ☆10Mar 14, 2021Updated 4 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- Fast Search for Gzipped Log Files☆10Apr 26, 2025Updated 10 months ago
- Cayley Dickson algebra implementation in python☆12Jan 3, 2019Updated 7 years ago
- ☆11Jan 22, 2022Updated 4 years ago
- Handbook of eRPC which is an efficient, extensible and easy-to-use RPC framework.☆12Nov 18, 2019Updated 6 years ago
- Homebrew formulas for installing LLM and related tools☆15Sep 6, 2023Updated 2 years ago
- A collection of Leech lattice decoders.☆12Nov 17, 2016Updated 9 years ago
- Eru load balancer☆10Sep 25, 2019Updated 6 years ago
- Beep the PC speaker☆11Nov 9, 2022Updated 3 years ago
- ☆14Dec 12, 2023Updated 2 years ago
- A collection of my ramblings into the field of Quantitatve and Mathematical Finance☆12Feb 21, 2020Updated 6 years ago
- See what your sound card is doing in real time☆14Jun 13, 2016Updated 9 years ago
- ☆12Mar 19, 2025Updated 11 months ago
- The OpenMath Content Dictionaries☆16Jun 28, 2022Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆15Updated this week
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- ☆10Aug 30, 2017Updated 8 years ago
- ☆10Nov 24, 2020Updated 5 years ago
- My master's thesis, on the algebra of topological quantum computing☆20Feb 13, 2014Updated 12 years ago
- A compiler for x86-64 with an SLR parser.☆10Dec 21, 2023Updated 2 years ago
- 链接跳转到JB IDE且自动执行某个动作☆15Dec 25, 2024Updated last year
- A series of introductory instructional python notebooks, for computational number theory.☆17Feb 12, 2018Updated 8 years ago
- The (open-source part of) code to reproduce "BPPSA: Scaling Back-propagation by Parallel Scan Algorithm".☆13Jun 7, 2021Updated 4 years ago
- An Xcode Project Generator For Bazel☆13Jun 22, 2022Updated 3 years ago
- Computer and Humans Learn Mutually (Fast way to label text)☆11Jun 5, 2018Updated 7 years ago
- Any Stream to Reinforcement Learning Environment (Time Series Data, Stock Market )☆11Oct 10, 2018Updated 7 years ago
- Advisory cross-platform lock on a file using a file descriptor to it.☆40Nov 10, 2025Updated 3 months ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- Implementations of the Deep Q-Learning Algorithms for Auctions☆15Mar 26, 2024Updated last year