Beast code in Giters

Idris Raja's repositories

advent2023

Language:Haskell200

knotools

Language:Haskell100

nix-config

dotfiles

Language:Nix100

qemu-advent

Language:Nix000

bib-tex

000

book-of-proof

Language:TeX000

cabal2nix-question

Language:Nix000

disko

Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]

Language:NixMIT000

flake-templates

Language:TeX000

from-mathematics-to-generic-programming

Language:Haskell000

hask-category

Language:Haskell000

haskell-first-principles

Language:Haskell000

hippoid-tex

Language:TeX000

how-to-think-like-a-mathematician

Language:TeX000

joy-of-abstraction

Language:TeX000

logic-programming-with-prolog

Language:Nix000

meaning-and-argument

Language:TeX000

mods

Language:Haskell010

monad-transformer-tutorial

Language:Haskell000

nixos-hardware

A collection of NixOS modules covering hardware quirks.

Language:NixCC0-1.0000

nixpkgs

Nix Packages collection & NixOS

Language:NixMIT010

nixvim

Configure Neovim with Nix! [maintainer=@GaetanLepage, @traxys, @mattsturgeon]

Language:NixMIT000

quickcheck-functions

Language:NixMIT000

quickcheck-tuts

Language:HaskellMIT000

rofi-picker

Language:Nix000

school-of-music

Language:Haskell000

slide2text

Language:Haskell010

thinking-as-computation

Language:Nix000

tlpi-dist

Language:Nix010

zettel

Language:Vim Script000