damhiya

An undergraduate student majoring in Computer Engineering and Mathematics at Inha University. Interested in PL.

Seoul, Republic of Korea

Pinned Repositories

AgdaFormalLanguage
Language:Agda1 2 00
AgdaHeap
Language:Agda1 2 00
CircuitSimulator
Electric circuit simulator using Haskell
Language:Haskell8 2 00
Coq-tips
10 2 00
FlexibleStrip
Flexible strip numerical analysing software using fortran
Language:Fortran5 2 00
Logos
Language:Agda8 2 00
MetaLambda
Language:Haskell10 2 30
nixos-configuration
Language:Nix5 2 10
plwiki.github.io
Language:TeX277
fairness
Language:Coq2 1 54

damhiya's Repositories

damhiya/Coq-tips
10 2 00
damhiya/MetaLambda
Language:Haskell10 2 30
damhiya/Logos
Language:Agda8 2 00
damhiya/nixos-configuration
Language:Nix5 2 10
damhiya/Presentations
Language:TeX5 2 00
damhiya/sflab-overlay
Language:Nix5 2 00
damhiya/citrus
Language:Haskell3 2 00
damhiya/interval-analysis
Language:Haskell3 2 00
damhiya/HaskellCourse
2 3 00
damhiya/paxos-safety
Language:Coq2 2 01
damhiya/univalent-categories
Language:Agda2
damhiya/AgdaFormalLanguage
Language:Agda1 2 00
damhiya/CCR
Language:Coq1 0 0
damhiya/damhiya
1 2 0
damhiya/MetaHTML
Language:Nix1 2 0
damhiya/plwiki.github.io
1
damhiya/agda-stdlib
The Agda standard library
Language:Agda1 0
damhiya/awesome-inha
인하대 주변 밥집 리스트
1 0
damhiya/CCR-env
Language:Nix
damhiya/fairness
Language:Coq0 0
damhiya/hhg-overlay
Language:Nix2 0
damhiya/iosevka-custom
Language:Nix2 0
damhiya/isabelle-fhs
NixOS FHS environment for Isabelle
Language:Nix2 0
damhiya/kime
Korean IME
Language:Rust1 0
damhiya/kmonad
An advanced keyboard manager
Language:Haskell1 0
damhiya/nixpkgs
Nix Packages collection
Language:Nix1 0
damhiya/plfa.github.io
An introduction to programming language theory in Agda
damhiya/raftchat-config
Language:Nix
damhiya/SimplicialSet
Language:Haskell2 0
damhiya/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager