m0rphism

Pinned Repositories

adt-decorators
Algebraic Data Types via Class Decorators in Python
Language:Python2 1 00
agdatex
Extract LaTeX-Macros from annotated .agda-files
Language:TeX0 1 01
definitional
Mechanized Type Soundness Proofs using Definitional Interpreters
Language:Coq9 1 01
haskell-dmenu
Complete Haskell bindings for dmenu and dmenu2. Provides fuzzy selection via a GUI menu.
Language:Haskell1 1 10
haskell-dmenu-pkill
dmenu script for killing applications. Can be sorted by process id or CPU/Memory usage.
Language:Haskell1 1 00
haskell-dmenu-pmount
Mounting and unmounting linux devices as a user with dmenu and pmount.
Language:Haskell1 1 00
haskell-dmenu-search
dmenu script for searching the web with customizable search engines.
Language:Haskell7 1 00
kitty
An Agda Framework for programming language metatheory based on extrinsic typing, intrinsic scoping and de Bruijn indices.
Language:Agda1 1 00
printcess
Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
Language:Haskell14 1 40

m0rphism's Repositories

m0rphism/printcess
Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
Language:Haskell14 1 40
m0rphism/definitional
Mechanized Type Soundness Proofs using Definitional Interpreters
Language:Coq9 1 01
m0rphism/haskell-dmenu-search
dmenu script for searching the web with customizable search engines.
Language:Haskell7 1 00
m0rphism/adt-decorators
Algebraic Data Types via Class Decorators in Python
Language:Python2 1 00
m0rphism/haskell-dmenu
Complete Haskell bindings for dmenu and dmenu2. Provides fuzzy selection via a GUI menu.
Language:Haskell1 1 10
m0rphism/haskell-dmenu-pkill
dmenu script for killing applications. Can be sorted by process id or CPU/Memory usage.
Language:Haskell1 1 00
m0rphism/haskell-dmenu-pmount
Mounting and unmounting linux devices as a user with dmenu and pmount.
Language:Haskell1 1 00
m0rphism/kitty
An Agda Framework for programming language metatheory based on extrinsic typing, intrinsic scoping and de Bruijn indices.
Language:Agda1 1 00
m0rphism/agdatex
Extract LaTeX-Macros from annotated .agda-files
Language:TeX0 1 01
m0rphism/errr
Composable Error Handling via Polymorphic Variants
Language:Rust0 1 00
m0rphism/bsession-impl
Language:Rust3 0
m0rphism/cornelis
agda-mode for neovim
Language:Haskell0 0
m0rphism/ferris.nvim
Neovim plugin for interacting with Rust-Analyzer's LSP extensions
Language:Lua0 0
m0rphism/kitty-supplement
Supplementary Material for the Paper "Abstractions for Multi-Sorted Substitutions" submitted to ITP'24
Language:Agda1 0
m0rphism/nixpkgs
Nix Packages collection & NixOS
Language:Nix
m0rphism/rfm
rust-file-manager
Language:Rust0 0