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/.dotfiles
My dotfiles
coddeys/aoc-2022
Advent of Code 2022
coddeys/automatic-app-landing-page
A Jekyll theme for automatically generating and deploying landing page sites for mobile apps.
coddeys/BrowserExtensions
coddeys/dotfiles
Development configuration files for Remote Pair Programming
coddeys/elm-starter-kit
A simplest setup for writing Elm apps
coddeys/elm-style-animation
The style animation library for Elm!
coddeys/elm-tic-tac-toe
Simple tic tac toe in Elm
coddeys/elm-uuid
UUIDs in Elm
coddeys/emacs.d
An Emacs configuration bundle with batteries included
coddeys/fp-course
Functional Programming Course
coddeys/gatsby-blog
Gatsby blog
coddeys/gitignore
A collection of useful .gitignore templates
coddeys/guix-notes
This repo has moved to https://gitlab.com/pjotrp/guix-notes Notes on Guix
coddeys/jetpack
coddeys/JSON-Schema
coddeys/lefortovo
безграмотный gitignore and makefile fetcher in Rust
coddeys/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
coddeys/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
coddeys/nixpkgs-ruby
A Nix repository with all Ruby versions being kept up-to-date automatically
coddeys/plutonomicon
Advanced techniques in the plutus smart contract language
coddeys/PlutusExperience
Plutus Experience Modules
coddeys/purescript-uri
A type-safe parser, printer, and ADT for URLs and URIs.
coddeys/react-elm-components
Write React components in Elm
coddeys/realtime-exercises
Exercises for the Complete Intro to Realtime as taught for Frontend Masters
coddeys/search-ebay-api
search-ebay-api
coddeys/servant-from-scratch
Yet another Haskell servant talk
coddeys/ssg
Static Site Generator
coddeys/user-opaleye
coddeys/webextensions-examples
Example Firefox add-ons created using the WebExtensions API