Simulator of DISPAK operating system (BESM-6)
☆20Jul 1, 2026Updated 2 months ago
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☆26Sep 9, 2026Updated 2 weeks ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 9 years ago
- ☆16Oct 30, 2018Updated 7 years ago
- Macsyma☆15Jan 23, 2018Updated 8 years ago
- BK-0010-01 on ESP8266 emulator☆37Feb 8, 2019Updated 7 years ago
- Major mode for Maxima☆21Jun 11, 2023Updated 3 years ago
- A mathematical foundation for Smalltalk-25☆21Aug 11, 2026Updated last month
- ARPANET NCP for Linux, and IMP-host interface to SIMH☆19Jan 10, 2026Updated 8 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 10 years ago
- Record and play back Linux pipes at different speeds☆20Sep 3, 2025Updated last year
- Синтаксический анализ и валидация данных на основе конечных автоматов (Ragel)☆10Dec 19, 2017Updated 8 years ago
- some kind of operating system☆12Oct 10, 2025Updated 11 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
- ZXSpectr emulator☆22Feb 21, 2024Updated 2 years ago
- Simple C program built by CMake and tested by CMocka☆11Jul 22, 2019Updated 7 years ago
- Modbus client and server command line tools based on libmodbus.☆12Sep 2, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The Siren Music/Sound framework for Smalltalk☆21Feb 23, 2022Updated 4 years ago
- The development tree for OpenOCD for MIPS Atlas ARC® processors☆16Sep 14, 2026Updated last week
- 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
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- OpenBSD PF Firewall Hardening☆10Dec 23, 2021Updated 4 years ago
- Reimplementation and extension of teaching operating system xv6, supersedes xv6-Loongson3a☆16Sep 30, 2020Updated 5 years ago
- Tutorial and example projects for the Arrow MAX1000 FPGA board☆15Sep 13, 2018Updated 8 years ago
- PDP-6 Emulator☆69Mar 19, 2026Updated 6 months 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.
- Analysis of your architecture strength based on DSM data.☆12Jan 11, 2024Updated 2 years ago
- Repo for data surrounding fast food nutrition and ingredients☆10Nov 11, 2018Updated 7 years ago
- The Boole Interactive Reasoning Assistant☆32May 9, 2014Updated 12 years ago
- Public sources and various open projects of my collection☆66Sep 6, 2026Updated 2 weeks ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 8 years ago
- Utilities and supplemental files supporting the aoe driver☆24Feb 2, 2026Updated 7 months ago
- Compiler for PDP-11, written in Python☆39Jan 18, 2024Updated 2 years ago