SeungheonOh

SeungheonOh's repositories

Collie-the-Bot

Language:HaskellNOASSERTION4 20

conf

NixOS Configuration. Third time's the charm.

Language:Nix3 30

herbage

Language:Nix2 30

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

custom-hackage-set

Language:Nix020

dotfiles_

Language:Lua010

Google_Cursor

An opensource cursor theme inspired by Google.

Language:ShellGPL-3.0000

hackage-security

Hackage security framework based on TUF (The Update Framework)

Language:Haskell010

herbage_test

Language:Nix020

lem-flake

Lem text editor flake

Language:NixMIT000

ncatweb

Language:Python010

ogmios

❇️ A WebSocket JSON/RPC bridge for Cardano

Language:HaskellMPL-2.0000

Physics206Labs

Language:Python020

plutarch-plutus

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

Language:HaskellMIT020

plutarch-template

Language:Nix010

plutus-conformance

Apache-2.0000

privateDepDemoLib

Language:NixNOASSERTION020

publish_hoogle

Language:NixNOASSERTION020

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

Language:CGPL-2.0020

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:Go010

WASM_GHC

Language:HTMLApache-2.0020

webvm

Virtual Machine for the Web

Language:HTMLApache-2.0010