-
-
vm Public
Forked from leostera/lam🚀 VM: Little Actor Machine
-
-
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
-
chat Public
Forked from synrc/chat💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42, X9-62, X25519, X488; NIST: SECP384r1.
TeX Other UpdatedApr 19, 2026 -
chat-1 Public
Forked from devaspot/chatXMPP client for Haiku Operating System
C++ UpdatedMar 29, 2026 -
-
-
-
-
-
per Public
🧊 Автоматизована система доведення теорем на основі W-індукції
-
lean-by-example Public
Forked from lean-ja/lean-by-exampleコード例で学ぶ Lean 言語
Lean Other UpdatedMar 23, 2025 -
-
zen Public
Forked from AndreaOrru/zenExperimental operating system written in Zig
Zig BSD 3-Clause "New" or "Revised" License UpdatedDec 1, 2024 -
-
atx-turboxt-v3 Public
Forked from rodneyknaap/atx-turboxt-v3A new ATX design of an XT compatible PC mainboard
GNU General Public License v3.0 UpdatedNov 17, 2024 -
LC475 Public
Forked from TheRealBolle/LC475Recreation of the Macintosh Performa/LC475 logicboard
Other UpdatedNov 16, 2024 -
pc-kharon-386 Public
Forked from UzixLS/pc-kharon-386Tiny IBM PC compatible machine with 386 CPU, integrated VGA and sound.
KiCad Layout Creative Commons Attribution Share Alike 4.0 International UpdatedNov 6, 2024 -
-
bit-preserve Public
Forked from baldengineer/bit-preserveProject for capturing vintage, classic, aka old computer schematics in KiCad.
HTML Other UpdatedAug 8, 2024 -
-
SCHEMATIC-RTD2660H Public
Forked from linkmarlon/SCHEMATIC-RTD2660HSCHEMATICAL OF THE PCB800099 SCREEN DRIVER with the RTD2660 chip, the driver part has been tested and works, only the audio amplifier and the stm32 have not been tested yet.
GNU General Public License v3.0 UpdatedJul 29, 2024 -
M396F-Replika Public
Forked from Marco-Both/M396F-ReplikaPCChips M396F V2.7 Replika
UpdatedJul 10, 2024 -
-
-
trs80-100-schematic Public
Forked from hzeller/trs80-100-schematicA transcript of the TRS80 Model 100 schematic
Nix UpdatedJan 12, 2024 -
omega Public
Forked from skiselev/omegaOmega Home Computer
Shell GNU General Public License v3.0 UpdatedOct 12, 2023 -
cubical-classics Public
Forked from kangxyz/cubical-classicsAn attempt towards univalent classical mathematics in Cubical Agda.
Agda UpdatedSep 15, 2023
{{ message }}