Pinned Repositories
concrete-math
Formally verified proof checker for Metamath.
glue
Kernel language ideas playground (for now).
Idris2-Rust
Idris2 Rust backend
lean4-numnn
Simple neural network written from scratch.
lean4-type-theory
Implementation of different type theories in Lean4
leansec
Total parser combinators library for Lean4
org-typst-preview.el
Preview Typst code blocks in org-mode (not necessarily) buffers.
ox-kakoune
Port of Ox theme with some changes
snuta
Uiua creative music composing library
uart_16550
Minimal support for uart_16550 serial output.
remimimimimi's Repositories
remimimimimi/org-typst-preview.el
Preview Typst code blocks in org-mode (not necessarily) buffers.
remimimimimi/glue
Kernel language ideas playground (for now).
remimimimimi/leansec
Total parser combinators library for Lean4
remimimimimi/concrete-math
Formally verified proof checker for Metamath.
remimimimimi/snuta
Uiua creative music composing library
remimimimimi/nixos-minimal
The most minimal configuration for NixOS
remimimimimi/Arduino_Mega2560_library
I want to create my own library for Arduino Mega2560 (Atmega2560)
remimimimimi/awesome-typst
Awesome Typst Links
remimimimimi/calamares-ghaf-extensions
Ghaf calamares [maintainer=@vlinkz]
remimimimimi/confindent
Configuration format based on indentation; Rust crate
remimimimimi/disko
Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]
remimimimimi/fchip-8
Gforth chip-8 emulator
remimimimimi/ghaf
Documentation for TII SSRC Common Tech
remimimimimi/ghaf-minimal
Ghaf based on not-os
remimimimimi/ghaf-not
An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.
remimimimimi/libpci-rs
A multi-platform PCI enumeration library for Rust.
remimimimimi/microvm.nix
NixOS MicroVMs
remimimimimi/nix-modules-doc
An example of creating documentation for nixos modules and rendering it with mdbook
remimimimimi/NixOS-config
My NixOS config
remimimimimi/nixpkgs-ghaf
Nix Packages collection & NixOS
remimimimimi/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
remimimimimi/racket
The Racket repository
remimimimimi/sbomnix
sbomnix is a utility that generates SBOMs from nix packages
remimimimimi/set.mm
Metamath source file for logic and set theory
remimimimimi/sssh
Shhh
remimimimimi/stenography.store-firmware
Firmware for keyboard from stenography.store
remimimimimi/typst
A new markup-based typesetting system that is powerful and easy to learn.
remimimimimi/vmd
remimimimimi/wireguard-gui
remimimimimi/wireguird
wireguard gtk gui for linux