carnotweat Goto Github PK

duetto

Dependently typed language in Haskell

elf-lifter

RISC-V Binary Lifting Platform

elisp

nada

emacs.d

emacs flakes in system sources

ewm

elisp scripts for public interfaceable window manager functions to be used with exwm

f-omega-int-agda

F-omega with interval kinds mechanized in Agda

fancv

git

Useful Git Commands

git-novice

Version Control with Git

gitconfig

guest0x0

Neon lights in the night tonight and stars that shine in the open sky

guix-config

guix-flake

A NixOS flake for Guix

guix-notes

This repo has moved to https://gitlab.com/pjotrp/guix-notes Notes on Guix

guix-rde-clone

sourcehut down

guixsd-config

My NixOS-config-inspired GuixSD config.

hash-modulo-alpha

Quickly hashing all subexpressions of a program modulo alpha-renaming

haskell-template

in dev

hazelnut-dynamics

Paper exploring the dynamic semantics of Hazelnut

heads

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops and servers.

herbrand-prolog

A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

howtos

hs-to-coq

Convert Haskell source code to Coq source code.

idris2-pkgs

An unofficial Idris2 package repository for Nix

infra

infra-guix

jonprl-mode

An Emac major mode for writing JonPRL code

kindex

Collection of Kind2 programs and proofs

lambda-calculus

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