-
19:46
(UTC +01:00)
-
gramine Public
Forked from gramineproject/gramineA library OS for Linux multi-process applications, with Intel SGX support
C GNU Lesser General Public License v3.0 UpdatedSep 9, 2024 -
-
-
glasgow Public
Forked from GlasgowEmbedded/glasgowScots Army Knife for electronics
Python BSD Zero Clause License UpdatedAug 21, 2023 -
amaranth Public
Forked from amaranth-lang/amaranthA refreshed Python toolbox for building complex digital hardware
Python BSD 2-Clause "Simplified" License UpdatedJul 22, 2023 -
enumflags2 Public
Forked from meithecatte/enumflags2Rust library for typesystem-assisted bitflags.
Rust Apache License 2.0 UpdatedApr 1, 2023 -
-
rust-lexical Public
Forked from Alexhuszagh/rust-lexicalFast numeric to- and from-string conversion routines.
Rust Other UpdatedNov 23, 2022 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedSep 29, 2021 -
elsa Public
Forked from Manishearth/elsaAppend-only collections for Rust where borrows to entries can outlive insertions
Rust Apache License 2.0 UpdatedSep 28, 2021 -
rfcs Public
Forked from rust-lang/rfcsRFCs for changes to Rust
Shell Apache License 2.0 UpdatedSep 24, 2021 -
hashbrown Public
Forked from rust-lang/hashbrownRust port of Google's SwissTable hash map
Rust Apache License 2.0 UpdatedSep 22, 2021 -
-
-
-
prboom-plus Public
A modified prboom-plus for Advanced Operating Systems course at University of Warsaw
-
-
A modified qemu for Advanced Operating Systems course at University of Warsaw
-
-
-
-
uharddoom Public
Ultimate HardDoom™ device (for http://students.mimuw.edu.pl/ZSO/PUBLIC-SO/2019-2020/z3_driver/)
C UpdatedMay 6, 2020 -
-
cpuadventure2 Public
CPU Adventure 2 challenge from the Dragon CTF 2019
-
-
-
adepttool Public
An open-source driver & programming tool for the Digilent Adept programmers (used in eg. Basys 2)
-
cpuadventure Public
CPU Adventure task from Dragon CTF 2019 teaser
-
picorv32 Public
Forked from YosysHQ/picorv32PicoRV32 - A Size-Optimized RISC-V CPU
Verilog UpdatedJul 31, 2019