UNIX-V6 kernel
☆83Aug 23, 2019Updated 6 years ago
Alternatives and similar repositories for unix-v6
Users that are interested in unix-v6 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unix System V6☆127Jul 11, 2009Updated 16 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 10 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆17Apr 3, 2024Updated 2 years ago
- ☆11Aug 24, 2018Updated 7 years ago
- Mirroring displays on Linux☆13Aug 22, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Convenient alternative to dd for writing images to SDCards☆15Feb 1, 2015Updated 11 years ago
- This is helper library for creating textlint rule.☆14Aug 18, 2025Updated 9 months ago
- JTAG DPI module for OpenRISC simulation with Verilator☆18Oct 27, 2012Updated 13 years ago
- An Arduino library of mircro mruby VM implementation for Arduino uno☆13May 19, 2019Updated 7 years ago
- A Clojure library designed to connect redis by sentinel, make carmine to support sentinel.☆14Sep 14, 2020Updated 5 years ago
- Reviving cmockery unit test framework from Google☆68Oct 22, 2018Updated 7 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆12Dec 29, 2015Updated 10 years ago
- Electron + React + Redux のボイラープレート☆14Apr 17, 2016Updated 10 years ago
- Intel 8080 macro assembler☆28Mar 7, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- webbench 1.5 snapshots☆48Mar 24, 2017Updated 9 years ago
- The pam_ldap module provides the means for Solaris and Linux servers and workstations to authenticate against LDAP directories, and to ch…☆14Jul 1, 2024Updated last year
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆194Jul 22, 2023Updated 2 years ago
- 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を動的計画法で解いてみた☆11May 18, 2019Updated 7 years ago
- stlport 5.2.1☆14Dec 10, 2011Updated 14 years ago
- Lyra2REv2 library used in Monacoin and some other altcoins.☆14Feb 15, 2020Updated 6 years ago
- .gitignore generator written in Go☆14Aug 19, 2022Updated 3 years ago
- this repository is unofficial mirror. automatically converted from anoncvs.NetBSD.org every two hours on weekdays (HEAD). On weekend, syn…☆173Updated this week
- alertover for chrome extension☆11Feb 22, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An implementation of Cheney style garbage collection for cons cells and atomic data. Heap resizing is also permitted either explicitly an…☆13Dec 28, 2017Updated 8 years ago
- pmap.c: implementation of something like Solaris' /usr/proc/bin/pmap☆16Sep 19, 2012Updated 13 years ago
- Aperyを改良した将棋ソフトです。☆18Apr 26, 2017Updated 9 years ago
- A gevent based socks5 tunnel server.☆17Jul 10, 2012Updated 13 years ago
- A ruby logger formatter to output log in LTSV format☆11Jan 6, 2017Updated 9 years ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- Google STEP Internship dev course - TSP Challenges☆11Jul 7, 2017Updated 8 years ago
- CUI Portfolio like ubuntu terminal.☆31Dec 10, 2022Updated 3 years ago
- A Crystal client for the Salesforce REST api.☆11Mar 29, 2026Updated 2 months 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.
- Library for invertible parsing and printing☆35Aug 25, 2025Updated 9 months ago
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Jan 23, 2014Updated 12 years ago
- Minecraft Go API☆33Aug 3, 2018Updated 7 years ago
- IGMP/MLD Proxy which supports IGMPv3 and MLDv2 completely☆28Jun 27, 2018Updated 7 years ago
- Common Data Structures and Algorithms for Learning Zig☆24May 11, 2023Updated 3 years ago
- a Haskell clone for the JVM☆12Jul 9, 2015Updated 10 years ago
- A (somewhat incomplete) implementation of the Paxos algorithm in Python.☆18Mar 4, 2012Updated 14 years ago