-
-
-
OpenTTD Public
Forked from OpenTTD/OpenTTDOpenTTD is an open source simulation game based upon Transport Tycoon Deluxe
C++ Other UpdatedSep 28, 2025 -
devcontainer Public
A hardened dev environment in a container. For use with vscode. Via ssh; not containers.dev.
Dockerfile BSD 3-Clause "New" or "Revised" License UpdatedAug 19, 2025 -
uefi_nyan_80x25 Public
Porting Nyan cat to UEFI. In Rust 🦀. Writeup ✍️
-
uefi-rs Public
Forked from rust-osdev/uefi-rsRusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functiona…
Rust Mozilla Public License 2.0 UpdatedNov 10, 2024 -
-
Iptables_Semantics Public
Verified iptables Firewall Ruleset Analysis
-
HackBGRT Public
Forked from Metabolix/HackBGRTWindows boot logo changer for UEFI systems
C# MIT License UpdatedNov 19, 2023 -
isabelle-go-codegen Public
Forked from isabelle-prover/isabelle-go-codegenGo Code Generation for Isabelle
Standard ML Other UpdatedOct 3, 2023 -
kant Public
Kategorischer Imperativ in Isabelle/HOL (experimental)
-
-
telnet-password-honeypot Public
A simple telnet server that prompts users for a password and stores it in a file.
-
jslinux Public
Trying to reproduce compilation of https://bellard.org/jslinux/ by great Fabrice Bellard
-
openttd-web-publishing Public
An attempt to automatically publish the openttd game to GithubPages
-
-
sel4-tutorials Public
Forked from seL4/sel4-tutorialsTutorials for working with seL4 and/or CAmkES.
Python UpdatedOct 15, 2021 -
Isabelle-Hello-World Public
Hello World in Isabelle, compiled to Haskell
-
magic-modules Public
Forked from GoogleCloudPlatform/magic-modulesGenerate Google Cloud Platform support for Terraform, Ansible, InSpec
HTML Apache License 2.0 UpdatedJul 16, 2021 -
wasm-fizzbuzz Public
WebAssembly from Scratch: From FizzBuzz to DooM.
-
post_quantum_crypto_test Public
Tiny personal PQ Crypto experiments. DO NOT USE IN PRODUCTION. I HAVE NO IDEA WHAT I'M DOING!
Python UpdatedJun 15, 2021 -
terraform Public
Forked from hashicorp/terraformTerraform enables you to safely and predictably create, change, and improve infrastructure. It is an open source tool that codifies APIs into declarative configuration files that can be shared amon…
Go Mozilla Public License 2.0 UpdatedOct 13, 2020 -
-
Peer-to-Peer-Cue-System Public
Forked from jmcker/Peer-to-Peer-Cue-SystemCue system for simple two-way communication and visual signaling using PeerJS peer-to-peer connection.
HTML MIT License UpdatedJan 31, 2020 -
-
yaml Public
Forked from ghodss/yamlA better way to marshal and unmarshal YAML in Golang
Go Other UpdatedFeb 1, 2019 -
riscv-isa-manual Public
Forked from riscv/riscv-isa-manualRISC-V Instruction Set Manual
TeX Creative Commons Attribution 4.0 International UpdatedJun 10, 2018 -
encryption-is-not-integrity Public
“Encryption is Not Integrity!,” PoC||GTFO vol. 20, no. 08, pp. 62–67, Jan. 2020.
-
-
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedDec 2, 2017
{{ message }}