Pinned Repositories
advent2023
animal_band_name
art_of_R_prog
My notes from the book The Art of R Programming
data_mine_R_book
data mining with R book
intro_db
Stanford Intro to Databases Fall 2011
ir_decode
Project for reading IR signals from serial and auto-generating Arduino code to replay signal.
ml_stanford
nix-config
dotfiles
qemu-advent
RCookBook
R CookBook examples
idrisr's Repositories
idrisr/advent2023
idrisr/knotools
idrisr/nix-config
dotfiles
idrisr/qemu-advent
idrisr/bib-tex
idrisr/book-of-proof
idrisr/cabal2nix-question
idrisr/disko
Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]
idrisr/flake-templates
idrisr/from-mathematics-to-generic-programming
idrisr/hask-category
idrisr/haskell-first-principles
haskell-first-principles
idrisr/hippoid-tex
idrisr/how-to-think-like-a-mathematician
idrisr/joy-of-abstraction
idrisr/logic-programming-with-prolog
idrisr/meaning-and-argument
idrisr/mods
idrisr/monad-transformer-tutorial
idrisr/nixos-hardware
A collection of NixOS modules covering hardware quirks.
idrisr/nixpkgs
Nix Packages collection & NixOS
idrisr/nixvim
Configure Neovim with Nix! [maintainer=@GaetanLepage, @traxys, @mattsturgeon]
idrisr/quickcheck-functions
idrisr/quickcheck-tuts
idrisr/rofi-picker
idrisr/school-of-music
idrisr/slide2text
idrisr/thinking-as-computation
idrisr/tlpi-dist
idrisr/zettel