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☆128Jul 11, 2009Updated 16 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 10 years ago
- DSL for tarai function music written in JavaScript.☆29Jun 30, 2020Updated 5 years ago
- Unix v6 Ported to ANSI C, x86☆88Nov 9, 2011Updated 14 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 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.
- Unix V6 V7源代码☆39Jan 5, 2015Updated 11 years ago
- Version 7 Unix for a POSIX world☆110May 11, 2021Updated 4 years ago
- SECD Machine Implementation in x86 Assembly☆24Jun 14, 2014Updated 11 years ago
- EsoLangVM Compiler Infrastructure☆11Apr 4, 2026Updated last week
- Convenient alternative to dd for writing images to SDCards☆14Feb 1, 2015Updated 11 years ago
- JTAG DPI module for OpenRISC simulation with Verilator☆18Oct 27, 2012Updated 13 years ago
- A picorv32 RISC-V processor with some very simple memory and peripherals. For Terasic DE-0 Nano☆13Apr 15, 2019Updated 6 years ago
- constexpr is fun.☆13Jun 17, 2018Updated 7 years ago
- A Clojure library designed to connect redis by sentinel, make carmine to support sentinel.☆14Sep 14, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automatically exported from code.google.com/p/google-gtags☆19Mar 13, 2015Updated 11 years ago
- Reviving cmockery unit test framework from Google☆67Oct 22, 2018Updated 7 years ago
- A fork of @c00kiemon5ter 's monsterwm(xinerama-init branch) with some patches applied and a little bit of code modification.☆11Jul 30, 2016Updated 9 years ago
- Haskell library for non-deterministic pattern matching☆17Dec 21, 2025Updated 3 months ago
- Intel 8080 macro assembler☆27Mar 7, 2021Updated 5 years ago
- small embeddable C-style preprocessor☆47May 12, 2023Updated 2 years ago
- This repo has been archived. Our code is now hosted at☆10Jun 5, 2018Updated 7 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
- 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を動的計画法で解いてみた☆11May 18, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Domain-driven JavaScript☆20Aug 31, 2015Updated 10 years ago
- a Coq toolkit for graph theory☆14Oct 18, 2020Updated 5 years ago
- Lightweight Window Manager for the X Window System☆50May 13, 2016Updated 9 years ago
- this repository is unofficial mirror. automatically converted from anoncvs.NetBSD.org every two hours on weekdays (HEAD). On weekend, syn…☆174Updated this week
- pmap.c: implementation of something like Solaris' /usr/proc/bin/pmap☆16Sep 19, 2012Updated 13 years ago
- The Mbed OS file system example☆16Feb 28, 2023Updated 3 years ago
- ☆19Jan 29, 2019Updated 7 years ago
- RISC-VのCPU作った☆20Oct 21, 2019Updated 6 years ago
- A gevent based socks5 tunnel server.☆17Jul 10, 2012Updated 13 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.
- The Parser Generator for Haskell☆94Jun 4, 2015Updated 10 years ago
- high performance KV database based on bitcask☆12May 12, 2023Updated 2 years ago
- A Crystal client for the Salesforce REST api.☆11Mar 29, 2026Updated last week
- Package plug replaces functions, defined in the other packages, on testing.☆16Mar 16, 2025Updated last year
- The static binary repository manager☆14Dec 10, 2017Updated 8 years ago
- IGMP/MLD Proxy which supports IGMPv3 and MLDv2 completely☆27Jun 27, 2018Updated 7 years ago
- WWWを再構築するぞ！！！☆15Aug 27, 2018Updated 7 years ago