SeungheonOh

SeungheonOh's repositories

conf

NixOS Configuration. Third time's the charm.

Language:Nix3 30

Collie-the-Bot

Language:HaskellNOASSERTION2 20

herbage

Language:Nix2 20

custom-hackage-set-test

Language:NixNOASSERTION1 20

Haskell-REPL

Language:TypeScript1 30

privateDepDemo

Language:NixNOASSERTION1 20

seccomp-tools-nix

Language:Nix1 20

.emacs.d

Language:Emacs Lisp030

cardano-haskell-packages

Metadata for Cardano's Haskell package repository

Language:NixApache-2.0010

cardano-token-registry

Language:Nix010

cardano-transaction-lib

A Purescript library for building smart contract transactions on Cardano

Language:PureScriptMIT010

custom-hackage-set

Language:Nix020

dotfiles_

Language:Lua010

hackage-security

Hackage security framework based on TUF (The Update Framework)

Language:Haskell010

herbage_test

Language:Nix020

homebrew_chiffre

020

lace

The Lace Wallet.

Language:TypeScriptApache-2.0010

le-chiffre-stm32-zmk-config

Le Chiffre STM32 ZMK Config

Language:CMake010

ncatweb

Language:Python010

nixpkgs

Nix Packages collection

Language:NixMIT020

Physics206Labs

Language:Python020

plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Language:HaskellMIT020

privateDepDemoLib

Language:NixNOASSERTION020

publish_hoogle

Language:NixNOASSERTION020

round-table

A web-based Cardano wallet

Language:TypeScriptApache-2.0010

sanchonet

Sources for the SanchoNet website

Language:TypeScriptApache-2.0010

school_stuff

010

TAMUhack2024

Language:Go000

WASM_GHC

Language:HTMLApache-2.0020

webvm

Virtual Machine for the Web

Language:HTMLApache-2.0010