Simulator of DISPAK operating system (BESM-6)
☆20Jul 1, 2026Updated last month
Alternatives and similar repositories for dispak
Users that are interested in dispak are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simulator of tube-based Soviet mainframe M-20☆18May 19, 2022Updated 4 years ago
- Implementation of BESM-6 clone in Verilog☆47Mar 29, 2025Updated last year
- Replica of micro-BESM computer☆26Mar 1, 2025Updated last year
- JTAG in a box : easy JTAG for router flashing, recovery and many more use cases !☆13Dec 17, 2018Updated 7 years ago
- Cyclone V FPGA board for UnAmiga project☆11Sep 30, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 9 years ago
- ☆16Oct 30, 2018Updated 7 years ago
- Macsyma☆15Jan 23, 2018Updated 8 years ago
- ARPANET NCP for Linux, and IMP-host interface to SIMH☆19Jan 10, 2026Updated 7 months ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆16Feb 13, 2018Updated 8 years ago
- Code for manipulating flashmap (fmap) data structure used in ChromiumOS☆10Dec 11, 2019Updated 6 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- OpenVMS File System Utilities☆15Sep 10, 2016Updated 9 years ago
- ZX Spectrum PS/2 keyboard adapter☆10May 20, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Синтаксический анализ и валидация данных на основе конечных автоматов (Ragel)☆10Dec 19, 2017Updated 8 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- IBM BookManager to PDF converter☆16Apr 6, 2014Updated 12 years ago
- Misc projects for ARM family☆22Jan 24, 2021Updated 5 years ago
- some kind of operating system☆12Oct 10, 2025Updated 10 months ago
- libtalloc is a python script for use with GDB that can be used to analyse the "trivial allocator" (talloc)☆17Aug 6, 2015Updated 11 years ago
- Simple C program built by CMake and tested by CMocka☆11Jul 22, 2019Updated 7 years ago
- Generate testbench for your verilog module.☆12Sep 12, 2018Updated 7 years ago
- A bare-bones LCF-style proof assistant☆26Aug 13, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tokenizer for Text to Speech (TTS) models☆15Jan 16, 2025Updated last year
- Modbus client and server command line tools based on libmodbus.☆12Jun 2, 2026Updated 2 months ago
- The Ultrix-11 3.1 source code.☆26Dec 4, 2022Updated 3 years ago
- The development tree for OpenOCD for MIPS Atlas ARC® processors☆16May 25, 2026Updated 2 months ago
- UEFI, on Loongson.☆13Jun 19, 2016Updated 10 years ago
- The SunOS 3.4 source code. An very rare find!☆22Jan 4, 2023Updated 3 years ago
- pcm2pwm is a simply utility for converting 8-bit PCM wave audio into a delta PWM byte stream. It's output is intended for use with any 1-…☆29Aug 3, 2020Updated 6 years ago
- OpenBSD PF Firewall Hardening☆10Dec 23, 2021Updated 4 years ago
- AX301☆31May 31, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 15 years ago
- Tutorial and example projects for the Arrow MAX1000 FPGA board☆15Sep 13, 2018Updated 7 years ago
- PDP-6 Emulator☆69Mar 19, 2026Updated 4 months ago
- Re-implementation of Berkley QED, a 1967 text editor ancestral to ed and vim☆25May 5, 2026Updated 3 months ago
- prpl QEMU PEG☆13Apr 25, 2016Updated 10 years ago
- ☆30Aug 8, 2015Updated 11 years ago
- Example of a javac Plugin☆14Dec 29, 2015Updated 10 years ago