Pinned Repositories
agora
Governance modules for Cardano protocols
liqwid-libs
A monorepo for Liqwid Labs plutarch libraries.
APL
Collie-the-Bot
ColTerm
DisCpp
keyboard-centric Discord client written in C++
EmojiTools
EmojiTools for c++
pot
These are pixels, but on a terminal
QMK_KeymapToAsciiTable
Convert QMK keymap file into Comment Ascii Table
xrdm
X Resouce Database Manager
SeungheonOh's Repositories
SeungheonOh/conf
NixOS Configuration. Third time's the charm.
SeungheonOh/Collie-the-Bot
SeungheonOh/herbage
SeungheonOh/custom-hackage-set-test
SeungheonOh/Haskell-REPL
SeungheonOh/privateDepDemo
SeungheonOh/seccomp-tools-nix
SeungheonOh/.emacs.d
SeungheonOh/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
SeungheonOh/cardano-token-registry
SeungheonOh/cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
SeungheonOh/custom-hackage-set
SeungheonOh/dotfiles_
SeungheonOh/hackage-security
Hackage security framework based on TUF (The Update Framework)
SeungheonOh/herbage_test
SeungheonOh/homebrew_chiffre
SeungheonOh/lace
The Lace Wallet.
SeungheonOh/le-chiffre-stm32-zmk-config
Le Chiffre STM32 ZMK Config
SeungheonOh/ncatweb
SeungheonOh/nixpkgs
Nix Packages collection
SeungheonOh/Physics206Labs
SeungheonOh/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
SeungheonOh/privateDepDemoLib
SeungheonOh/publish_hoogle
SeungheonOh/round-table
A web-based Cardano wallet
SeungheonOh/sanchonet
Sources for the SanchoNet website
SeungheonOh/school_stuff
SeungheonOh/TAMUhack2024
SeungheonOh/WASM_GHC
SeungheonOh/webvm
Virtual Machine for the Web