Beast code in Giters

m0rphism's repositories

Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.

Language:HaskellBSD-3-Clause14 1 4

Mechanized Type Soundness Proofs using Definitional Interpreters

Language:Coq9 10

dmenu script for searching the web with customizable search engines.

Language:HaskellBSD-3-Clause7 10

Algebraic Data Types via Class Decorators in Python

Language:PythonBSD-2-Clause1 10

Complete Haskell bindings for dmenu and dmenu2. Provides fuzzy selection via a GUI menu.

Language:HaskellBSD-3-Clause1 1 1

dmenu script for killing applications. Can be sorted by process id or CPU/Memory usage.

Language:HaskellBSD-3-Clause1 10

Mounting and unmounting linux devices as a user with dmenu and pmount.

Language:HaskellBSD-3-Clause1 10

An Agda Framework for programming language metatheory based on extrinsic typing, intrinsic scoping and de Bruijn indices.

Language:Agda1 10

Extract LaTeX-Macros from annotated .agda-files

Language:TeX010

Composable Error Handling via Polymorphic Variants

Language:Rust010

Supplementary Material for the Paper "Abstractions for Multi-Sorted Substitutions" submitted to ITP'24

Language:Agda010

rust-file-manager

Language:RustGPL-3.0000