Pinned Repositories
abstract_clustering
chicago-crime
claymager.github.io
cropland
dotfiles
dsp
Metis Data Science Bootcamp - Official Prework Repository
fantasque-sans
A font family with a great monospaced variant for programmers.
idris2-pkgs
An unofficial Idris2 package repository for Nix
ipkg-to-json
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
claymager's Repositories
claymager/idris2-pkgs
An unofficial Idris2 package repository for Nix
claymager/abstract_clustering
claymager/dotfiles
claymager/ipkg-to-json
claymager/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
claymager/chicago-crime
claymager/claymager.github.io
claymager/cropland
claymager/dsp
Metis Data Science Bootcamp - Official Prework Repository
claymager/fantasque-sans
A font family with a great monospaced variant for programmers.
claymager/fis_dnfs
claymager/hello-world
simple repository
claymager/idrall
Dhall bindings for Idris
claymager/idris-vim
Idris mode for vim, modification to support Idris2 (incomplete)
claymager/Idris2
A purely functional programming language with first class types
claymager/idris2-dot-parse
A lexer+parser library for the DOT language (graphviz) written in Idris2.
claymager/Idris2-Effect
Experimental effects library for Idris 2
claymager/idris2-lsp
Language Server for Idris2
claymager/inigo
Inigo: A Package Manager for Idris2
claymager/nix-dots
claymager/nixops-libvirtd
NixOps libvirtd backend plugin [maintainer=@AmineChikhaoui]
claymager/nixpkgs
Nix Packages collection
claymager/REPLica
Golden tests for command-line interfaces.
claymager/sirdi
Package manager for Idris
claymager/slides
The HTML Presentation Framework
claymager/todo.txt-cli-again-addon
An addon for the todo.txt CLI that allows for easy creation of recurring tasks