Benjamin Levy's repositories
org-fragtog
Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
good-scroll.el
Attempt at good pixel-based smooth scrolling in Emacs
godot-portal-demo
Experimenting with portals in Godot Engine
WineBox86.apk
x86 Wine on ARM Android with Box86 (very much WIP)
yew-octicons
Easy support for Octicons in yew
userland-execve-rust
An implementation of execve() in user space
nix-flatpak
Declarative Flatpak management for the Nix package manager
discord-bedtime
A Discord bot reminding you to sleep
turboproof
A dependently-typed lisp and proof assistant [IN DEVELOPMENT]
lambda-cove
https://lambdacove.netlify.com/
nixos-framework-led
NixOS module for changing the LED color on Framework laptops
rust-musl-builder-lzma
rust-musl-builder with liblzma support
rust-spinners-rand
Get a random `Spinners` from the `spinners` crate
toy-git-rs
Toy git implementation in Rust
blur-my-shell
Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview
doom-emacs
An Emacs framework for the stubborn martian hacker
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
mmverify.py
Metamath verifier in Python
NixThePlanet
Run macOS, Windows and more via a single Nix command, or simple nixosModules
rust-piston-cube
Testing cross compilation of the piston cube example