Othello program created by Gunnar Andersson - This is a copy of the original code -
☆16Apr 29, 2014Updated 11 years ago
Alternatives and similar repositories for zebra
Users that are interested in zebra are comparing it to the libraries listed below
Sorting:
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- PeayBASIC is a BASIC interpreter written in C# that allows simultaneous text and graphical output. It was made for my undergrad senior pr…☆13Aug 25, 2013Updated 12 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Project Euler Explained, codes used to solve Project Euler problems☆15Jan 16, 2026Updated last month
- Homemade UNIX-like operating system☆13Sep 4, 2023Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 5 years ago
- Old DOS 3D modelling program written in Pascal & Assembler☆21Jun 16, 2021Updated 4 years ago
- A Prime Number Algorithm by E. W. Dijkstra☆16Jan 12, 2021Updated 5 years ago
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆69Feb 17, 2024Updated 2 years ago
- GPL Number Field Sieve implementation☆36Apr 24, 2011Updated 14 years ago
- A mirror of Nyanix repository☆23Dec 27, 2023Updated 2 years ago
- Intel 8080/Zilog Z80 assembler written in D.☆34Oct 17, 2021Updated 4 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 4 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- avarehelper☆12Aug 15, 2021Updated 4 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- CADO-NFS is a complete implementation in C/C++ of the Number Field Sieve (NFS) algorithm for factoring integers. For official releases, p…☆30May 10, 2020Updated 5 years ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 9 years ago
- ☆33Nov 1, 2016Updated 9 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 7 months ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Applications and utilities for model developers to use in conjunction with the OTM-DE.☆10Apr 1, 2024Updated last year
- ☆14Aug 4, 2021Updated 4 years ago
- Recreating GunZ: The Duel in the browser using Three.js☆12Updated this week
- ☆10Oct 11, 2022Updated 3 years ago
- Bitcoin Hardware Wallet Interaction scripts☆11Jan 30, 2026Updated last month
- ☆11Sep 15, 2025Updated 5 months ago
- test images with not appropriate labels in MNIST dataset☆10Mar 3, 2018Updated 8 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- Chequea si tu firewall es vulnerable a CVE-2024-21762 (RCE sin autenticación)☆15Jun 29, 2025Updated 8 months ago
- Repository of now harmless TREZOR security exploits☆11Jun 14, 2015Updated 10 years ago
- ☆13Jul 8, 2024Updated last year
- Verilog bit slicing for python☆10May 13, 2021Updated 4 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago