Pinned Repositories
.dotfiles
My dotfiles
cardano-marketplace
A simple cardano market place facilitating nft buy and sale.
elm-autocomplete
Text autocomplete
elm-webpack-starter
Boilerplate for developing Elm apps on Webpack
fractional-nft-real-estate
Emurgo Academy Final Project: The real estate property can be divided into multiple tokens that represent shares.
home-manager
My personal home-manager configuration
kmonad-kbd
This repo contains the configuration for HHKB and Dactyl Manuform 4x6 keyboards for KMonad
plutus-pioneer-program
viber-bot
Web3SignContracts
HackFS 2024 | Web3Sign enables decentralized document signing via blockchain.
coddeys's Repositories
coddeys/elm-autocomplete
Text autocomplete
coddeys/elm-webpack-starter
Boilerplate for developing Elm apps on Webpack
coddeys/viber-bot
coddeys/analytics
Real time search box
coddeys/CategoryTheoryForProgrammers
Notes from Category Theory for Programmers lessons by Bartosz Milewski
coddeys/chef-u
Chef U
coddeys/cookbooks
Chef cookbooks
coddeys/CS169.1x
Homework
coddeys/elm-spa-example
A Single Page Application written in Elm
coddeys/emacs
coddeys/goran
Elm tutorial
coddeys/javascript-koans
Koans to learn Javascript
coddeys/koans
Ruby koans
coddeys/ninety-nine-problems
Ninety-Nine Problems
coddeys/nixos-config
Coddeys NixOS configuration files
coddeys/parser
Simple parser
coddeys/seaports
All sorts of useful information about every seaport packaged as pretty little seaport objects. It includes data from "UN/LOCODE".
coddeys/servant-selda
Experiments with Servant and Selda
coddeys/setup
AWS EC2 setup files for Remote Pair Programming
coddeys/stack
coddeys/third-shots
Chef
coddeys/unwb
Chef recipes
coddeys/vagrant
Vagrant getting started guide
coddeys/vagrant-ubuntu-14.04
Vagrant