sameer gupta's repositories
idris2-pkgs
An unofficial Idris2 package repository for Nix
archlinux-nix
Bash script for managing the Nix package manager on Arch Linux
categorifier
Interpret Haskell programs into any cartesian closed category.
arewehackersyet
Tracking the availability of Kali Linux packages in NixOS
diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
duetto
Dependently typed language in Haskell
f-omega-int-agda
F-omega with interval kinds mechanized in Agda
guix-flake
A NixOS flake for Guix
guix-notes
This repo has moved to https://gitlab.com/pjotrp/guix-notes Notes on Guix
hash-modulo-alpha
Quickly hashing all subexpressions of a program modulo alpha-renaming
heads
A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops and servers.
ld_preload_shim
A LD_PRELOAD shim for forcing a Linux application to bind to an address as detailed at https://www.x4b.net/kb/BindProcessToIPonLinux
lion
Where Lions Roam: RISC-V on the VELDT
osblog
The Adventures of OS
priority-sesh
Session Types with Priority in Linear Haskell
rubber-docker
A workshop on Linux containers: Rebuild Docker from Scratch
schmutz
SCHeMe UnterstüTZung — easy Guile Scheme C++ bindings
tokio-socks5
socks5 server using tokio-rs async/await
trivial-signal-example
This is a demo of TRIVIAL-SIGNAL Common Lisp library usage
type-nat-solver
A plugin for solving numeric constraints in GHC's type-checker
zerotoasic-nix
Nix scaffolding for ZeroToASIC students