Norbert Dzikowski's repositories
clash_fpga_example
Starting steps to describe hardware in Clash and use the generated VHDL in Vivado to program a FPGA.
coinwalletoverview
CoinWalletOverview aims to be used on a small device with terminal display capabilities to provide an overview of the funds in your cryptowallet(s).
dzang
Simply typed lambda calculus with type inference. Uses https://github.com/ndzik/dzarser for parsing and is in an early and experimental state.
dzarser
Simple parser library for https://github.com/ndzik/dzang.
bindings-GLFW
Low-level Haskell bindings to GLFW
discord-haskell
Haskell library for writing Discord bots
dzerver
What could this be? 🤔
erdstall-contracts
:tea: Erdstall Solidity Contracts
explore-haskell
Repository containing my experiments and findings regarding Haskell and GHC.
GLFW-b
Haskell bindings to GLFW
haskell-twitch-api
Some implementation of the twitch API in haskell
herdstall
UC inspired eDSL describing the Erdstall protocol in native Haskell and allowing generation of diagrams.
horture-server
Server implementation for horture
my-xmonad
My personal xmonad configuration and template repository for easy setup.
OpenGL
Haskell bindings to OpenGL
plutus-apps
The Plutus application platform
pure
My take on a NeoVim colorscheme utilising TreeSitter.
swarm
Resource gathering + programming game
telescope_hoogle
Hoogle search integration for Telescope
unknown
Braindumps and code dabbling
X11
A Haskell binding to the X11 graphics library.