vpatryshev / wowikiView external linksLinks
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:
- 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
- A fork of v7x86☆17Oct 22, 2022Updated 3 years ago
- Algol 60 compiler for Electrologica X1, restored☆15Jul 27, 2025Updated 6 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- ☆13Apr 19, 2025Updated 9 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 2 months ago
- Open source replacement for the KryoFlux DTC tool☆17Oct 13, 2013Updated 12 years ago
- BKBTL emulator, Qt version.☆20Jan 8, 2025Updated last year
- Verilog implementation of RISC-V: RV32IAC plus much of B. 32-bit or 16-bit bus.☆19Jul 29, 2021Updated 4 years ago
- ☆21Jul 16, 2025Updated 6 months ago
- Dialog System for Structured Programming☆23Mar 18, 2017Updated 8 years ago
- BKBTL emulator, Win32 version.☆26Jan 12, 2025Updated last year
- PDP-1 shenanigans with modern tooling☆20Oct 23, 2025Updated 3 months ago
- Simulate a 4-function TI calculator and the Sinclair Scientific calculator using the original source code☆30Apr 6, 2018Updated 7 years ago
- ☆19Dec 15, 2023Updated 2 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Intel 8080 Emulator on 4004 Evaluation Board☆23Apr 17, 2023Updated 2 years ago
- 2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes☆54Feb 5, 2026Updated last week
- Ethernet MAC 10/100 Mbps☆31Oct 31, 2021Updated 4 years ago
- BK-0010/0011/Terak 8510a emulator☆34Jul 13, 2025Updated 7 months ago
- GNU SETL☆37Feb 7, 2025Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆29Apr 1, 2025Updated 10 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Feb 6, 2026Updated last week
- Balthazar's case and the design. Updates regularly as we progress.☆12Oct 22, 2024Updated last year
- A Python tool for parsing and exporting 'aws-nuke' output logs into structured JSON or CSV formats.☆10Jun 7, 2024Updated last year
- A tool to generate FreeDSP Aurora plugins from SigmaStudio Exports, written in Perl.☆10Jul 28, 2020Updated 5 years ago
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- ☆38Sep 17, 2022Updated 3 years ago
- Structured BVA☆42Apr 26, 2024Updated last year
- ReRap2 is an interpreter for the Russian and English dialects of the Rapira programming language.☆35Jan 9, 2021Updated 5 years ago
- M-extension for RISC-V cores.☆32Nov 21, 2024Updated last year
- a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx☆34Mar 7, 2019Updated 6 years ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆67Jan 30, 2026Updated 2 weeks ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week
- bayesPop R package☆11Feb 6, 2026Updated last week
- A Verilog Synthesis Regression Test☆37Jan 19, 2026Updated 3 weeks ago