VonTum / DedekindView external linksLinks
The codebase that computed the Ninth Dedekind Number
☆14Jan 18, 2026Updated 3 weeks ago
Alternatives and similar repositories for Dedekind
Users that are interested in Dedekind are comparing it to the libraries listed below
Sorting:
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆13Nov 2, 2025Updated 3 months ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- An OpenFlow implementation for the NetFPGA-10G card☆19Feb 18, 2015Updated 10 years ago
- FINN+ is an extended version of FINN, a dataflow compiler for QNN inference on FPGAs. It is maintained by a group of researchers at Pader…☆38Updated this week
- Source code for Bedlam 2 (1997) game executable file.☆23Feb 18, 2023Updated 2 years ago
- Record MPI operations on tape☆25Dec 13, 2023Updated 2 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Virtual machine☆35Nov 2, 2025Updated 3 months ago
- fCraft with more features!☆27Nov 10, 2013Updated 12 years ago
- macOS menubar application that enables Spotify playback control and song notifications☆12Jun 10, 2023Updated 2 years ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 9 years ago
- Finds a Perfect Scramble on a 3x3 Rubik's Cube☆45Mar 3, 2024Updated last year
- The Open Problems Project☆41Jun 19, 2025Updated 7 months ago
- A new Hardware Design Language that keeps you in the driver's seat☆123Feb 4, 2026Updated last week
- Perl (XS) module implementing prime number utilities, including sieves☆50Feb 3, 2026Updated last week
- Provides an SSH server that enables rcon connections to configured game servers☆11Jul 24, 2019Updated 6 years ago
- ☆12Sep 28, 2023Updated 2 years ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Unofficial repository for the terraria tile generator. Generates a template for a custom block☆11Oct 7, 2024Updated last year
- Library for reading the Macintosh File System☆11May 7, 2016Updated 9 years ago
- Swift library for Buffers, Arrays, Bits and Bytes.☆13Jul 23, 2022Updated 3 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 2 weeks ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- ☆11Oct 15, 2024Updated last year
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- Universal Server-Side Framework. Backend for everyone and everywhere.☆10Sep 9, 2024Updated last year
- Alveo Collective Communication Library: MPI-like communication operations for Xilinx Alveo accelerators☆101Jun 30, 2025Updated 7 months ago
- MARS_NWE NetWare Emulator☆13Oct 2, 2024Updated last year
- NiMUD: Shared Adventure Game brought to you by Locke; NiM5 is an advanced multi-user gaming server.☆11Sep 4, 2024Updated last year
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated 9 months ago
- Implementation of CoAP Server & Client in Go by @Kistler-Group☆13Jun 22, 2021Updated 4 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- Flight simulator demo for Arduboy☆11Aug 16, 2019Updated 6 years ago
- Resource Aware, Recursive Virtual Machine☆10Nov 4, 2022Updated 3 years ago
- Utility commands for Maestro operating system☆14Oct 30, 2025Updated 3 months ago
- ☆20Nov 14, 2025Updated 3 months ago