It is just my own wiki website. Nothing personal there, so it's public.
☆38Jan 19, 2025Updated last year
Alternatives and similar repositories for wowiki
Users that are interested in wowiki are comparing it to the libraries listed below
Sorting:
- A list of works and resources about double category theory, with a particular focus on applications.☆31Oct 19, 2022Updated 3 years ago
- Emulator of one of the oldest machines in Europe - Kyiv.☆22Apr 28, 2022Updated 3 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- ☆11Feb 15, 2022Updated 4 years ago
- OpenRISC 1000 processor module for IDA 7.x☆13Feb 13, 2024Updated 2 years ago
- A fork of v7x86☆17Oct 22, 2022Updated 3 years ago
- Algol 60 compiler for Electrologica X1, restored☆15Jul 27, 2025Updated 7 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- ☆12Jun 4, 2018Updated 7 years ago
- ☆13Apr 19, 2025Updated 10 months ago
- FiwixOS is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel.☆22Nov 15, 2025Updated 3 months ago
- Open source replacement for the KryoFlux DTC tool☆17Oct 13, 2013Updated 12 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- BKBTL emulator, Qt version.☆20Jan 8, 2025Updated last year
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 5 years ago
- ☆21Jul 16, 2025Updated 7 months ago
- Verilog implementation of RISC-V: RV32IAC plus much of B. 32-bit or 16-bit bus.☆19Jul 29, 2021Updated 4 years ago
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 2 years ago
- Dialog System for Structured Programming☆23Mar 18, 2017Updated 8 years ago
- BKBTL emulator, Win32 version.☆27Jan 12, 2025Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- PDP-1 shenanigans with modern tooling☆20Oct 23, 2025Updated 4 months ago
- Haskell library for doing category theory with a central role for profunctors☆24Feb 27, 2026Updated last week
- Simulate a 4-function TI calculator and the Sinclair Scientific calculator using the original source code☆30Apr 6, 2018Updated 7 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Intel 8080 Emulator on 4004 Evaluation Board☆24Updated this week
- 2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes☆54Updated this week
- Ethernet MAC 10/100 Mbps☆33Oct 31, 2021Updated 4 years ago
- BK-0010/0011/Terak 8510a emulator☆37Jul 13, 2025Updated 7 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆29Apr 1, 2025Updated 11 months ago
- GNU SETL☆37Feb 7, 2025Updated last year
- Balthazar's case and the design. Updates regularly as we progress.☆12Oct 22, 2024Updated last year
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- A tool to generate FreeDSP Aurora plugins from SigmaStudio Exports, written in Perl.☆10Jul 28, 2020Updated 5 years ago
- ReRap2 is an interpreter for the Russian and English dialects of the Rapira programming language.☆35Jan 9, 2021Updated 5 years ago
- ☆38Sep 17, 2022Updated 3 years ago
- Structured BVA☆42Apr 26, 2024Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago