Pinned Repositories
ansible-dev-env1
rcm, optional spacemacs
ansible-haskell-stack
ansible-miniconda
Ansible role to install the Miniconda Python distribution
bztest2
DomainColorExample
gdp
Ghosts of Departed Proofs
gdpexperiment
GeneralizedFizzBuzz
dumb
hakyll-test
monoidincatoffunctors
showing monad and applicative are monoids in the category of endofunctors
brnzhg's Repositories
brnzhg/monoidincatoffunctors
showing monad and applicative are monoids in the category of endofunctors
brnzhg/ansible-dev-env1
rcm, optional spacemacs
brnzhg/ansible-haskell-stack
brnzhg/ansible-miniconda
Ansible role to install the Miniconda Python distribution
brnzhg/bztest2
brnzhg/DomainColorExample
brnzhg/gdp
Ghosts of Departed Proofs
brnzhg/gdpexperiment
brnzhg/GeneralizedFizzBuzz
dumb
brnzhg/hakyll-test
brnzhg/haunter
ghostly quant lib
brnzhg/howod
optimization without derivatives
brnzhg/jinjagen
brnzhg/marco2
brnzhg/mat_437_pres
brnzhg/math_notes
brnzhg/nirnroot
brnzhg/pythonnet
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
brnzhg/shellsweeper
brnzhg/shelly-font-installer
a really dumb font installer with a lot of dependencies
brnzhg/sphinx-jinja
brnzhg/switcherino
Really dumb Twitch bot
brnzhg/testblog
brnzhg/thomashardy
first draft of a vocab trainer
brnzhg/workconnect
helper for globalprotect + freerdp