-
WineBox86.apk Public
x86 Wine on ARM Android with Box86 (very much WIP)
-
turboproof Public
A dependently-typed lisp and proof assistant [IN DEVELOPMENT]
-
rust-piston-cube Public
Testing cross compilation of the piston cube example
Rust MIT License UpdatedJun 8, 2022 -
promptly Public
Forked from anowell/promptlySimple, opinionated prompting library
Rust MIT License UpdatedJun 8, 2022 -
-
blur-my-shell Public
Forked from aunetx/blur-my-shellExtension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview
JavaScript GNU General Public License v3.0 UpdatedMay 14, 2022 -
box86 Public
Forked from ptitSeb/box86Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
-
rust-musl-builder-lzma Public
rust-musl-builder with liblzma support
-
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs framework for the stubborn martian hacker
Emacs Lisp MIT License UpdatedJan 6, 2022 -
ethereum-org-website Public
Forked from ethereum/ethereum-org-websiteEthereum.org is a primary online resource for the Ethereum community.
JavaScript MIT License UpdatedJan 3, 2022 -
-
-
emacs-everywhere Public
Forked from tecosaur/emacs-everywhereSystem-wide popup Emacs windows for quick edits
Emacs Lisp GNU General Public License v3.0 UpdatedAug 24, 2021 -
coq-proofs Public
My proofs for the Coq proof assistant
-
xkcd-unreachable-rs Public
A Rust macro xkcd_unreachable!() inspired by https://xkcd.com/2200/
-
Kind Public
Forked from HigherOrderCO/KindA modern proof language
JavaScript MIT License UpdatedApr 17, 2021 -
yacs Public
Forked from YACS-RCOS/yacsYacs - The Scheduler for Everyone
Ruby GNU Affero General Public License v3.0 UpdatedMar 11, 2021 -
brainfsym Public
Rust library for symbolically executing brainf*** code
-
BootMine Public
Bootable minesweeper game in a 512-byte boot sector
-
melpa Public
Forked from melpa/melpaRecipes and build machinery for the biggest Emacs package repo
Emacs Lisp Other UpdatedJan 5, 2021 -
-
dhall-rust Public
Forked from Nadrieril/dhall-rustMaintainable configuration files, for Rust users
Rust Other UpdatedOct 24, 2020 -
emacs-application-framework Public
Forked from emacs-eaf/emacs-application-frameworkEmacs application framework
JavaScript GNU General Public License v3.0 UpdatedSep 28, 2020 -
DockerImages Public
Forked from Submitty/DockerImagesRepository for holding Submitty autograding docker images and pieces to build them
Dockerfile UpdatedSep 14, 2020 -
bevy-website Public
Forked from bevyengine/bevy-websiteThe source files for the official Bevy website
HTML UpdatedAug 27, 2020 -
sm64ex Public
Forked from sm64pc/sm64exFork of https://github.com/sm64-port/sm64-port with additional features.
C UpdatedAug 16, 2020 -
scraper Public
Forked from quacs/scraperStores all the different scrapers used to collect data for quacs
Python MIT License UpdatedAug 6, 2020 -
x86-bare-metal-examples Public
Forked from cirosantilli/x86-bare-metal-examplesDozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-modu…
-
MarioLANG Public
A minimal MarioLANG interpreter
-
tool-conventions Public
Forked from WebAssembly/tool-conventionsConventions supporting interoperatibility between tools working with WebAssembly.
Artistic License 2.0 UpdatedApr 13, 2020
{{ message }}