Projects in Awesome Lists by andreasabel
A curated list of projects in awesome lists by andreasabel .
https://github.com/andreasabel/miniagda
A prototypical dependently typed languages with sized types and variances
Last synced: 16 Mar 2025
https://github.com/andreasabel/strong-normalization
Formalizations of strong normalization proofs
Last synced: 23 Jan 2026
https://github.com/andreasabel/helf
Haskell implementation of the Edinburgh Logical Framework
dependent-types framework haskell lf logical twelf
Last synced: 26 Jul 2025
https://github.com/andreasabel/ipl
Agda formalization of Intuitionistic Propositional Logic
Last synced: 23 Jan 2026
https://github.com/andreasabel/java-adt
A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).
Last synced: 26 Oct 2025
https://github.com/andreasabel/agda2lagda
Simple conversion from Agda text to literate Agda text.
agda command-line-tool latex literate-programming
Last synced: 23 Feb 2026
https://github.com/andreasabel/universal-algebra
Formalization of some universal algebra in Agda
Last synced: 31 Jan 2026
https://github.com/andreasabel/cabal-clean
Remove outdated compilation artefacts left by cabal v2-build
cabal clean disk-space haskell
Last synced: 16 Mar 2025
https://github.com/andreasabel/proposal-agda-tutorial
Proposal for an Agda tutorial
Last synced: 09 Feb 2026
https://github.com/andreasabel/agda-automata
Formalisation of automata in Agda
Last synced: 01 Feb 2026
https://github.com/andreasabel/sit
Prototypical type checker for Type Theory with Sized Natural Numbers
Last synced: 19 Jul 2025
https://github.com/andreasabel/shift-reset-dsl
A DSL for shift and reset in Agda
Last synced: 03 Feb 2026
https://github.com/andreasabel/risc386
Interpreter for symbolic 386 assembler (small fragment) written in Haskell
Last synced: 22 Mar 2025
https://github.com/andreasabel/lambda-definability
Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond
Last synced: 04 Feb 2026
https://github.com/andreasabel/continuous-normalization
Evaluation of typed terms in Agda using the Delay monad.
agda call-by-name coinduction delay evaluation lambda-calculus monads
Last synced: 21 Feb 2026
https://github.com/andreasabel/fix-whitespace-action
Run fix-whitespace on your repo.
Last synced: 05 May 2025
https://github.com/andreasabel/agda-scope
Notes and prototypes concerning Agda's scope checker
Last synced: 03 Feb 2026
https://github.com/andreasabel/plt-agda
A compiler for a fragment of C using well-typed syntax and well-typed JVM instructions
Last synced: 08 Feb 2026
https://github.com/andreasabel/pi-calculus
Agda formalization concerning processes
Last synced: 30 Jan 2026
https://github.com/andreasabel/applicative
Haskell's applicative functors are multi-category functors
applicative-functors equational-reasoning haskell multi-functor
Last synced: 17 Aug 2025
https://github.com/andreasabel/plt-errata
Collection of errata for book Aarne Ranta, Implementing Programming Languages
Last synced: 25 Oct 2025
https://github.com/andreasabel/red-black-tree-left-leaning
Left-leaning red-black trees in Agda (insertion and deletion) with static ordering and balancing invariants
agda dependent-types red-black-tree verification
Last synced: 29 Jan 2026
https://github.com/andreasabel/aplas14
Agda and LaTeX sources for APLAS 2014 paper on strong normalization of guarded STLC
Last synced: 18 Mar 2026
https://github.com/andreasabel/foetus
Foetus -- Termination checker for a tiny functional language with inductive types
Last synced: 23 Jan 2026
https://github.com/andreasabel/parametrized-modules
A core calculus for parametrized modules
Last synced: 05 May 2025
https://github.com/andreasabel/ci-executable-static
Test building static binary via Github workflow
Last synced: 05 May 2025
https://github.com/andreasabel/agda-issues
Statistics from the Agda issue tracker
Last synced: 27 Oct 2025
https://github.com/andreasabel/constraint-based-type-inference
Agda formalization of constraint-based type inference for the simply-typed lambda-calculus
Last synced: 18 Mar 2026
https://github.com/andreasabel/lambda-pi
An implementation of Lambda-Pi in Agda
Last synced: 10 Feb 2026
https://github.com/andreasabel/sbv-quarter-circle-puzzle
Solve a grid-based partitioning puzzle with SMT using Haskell's sbv library
Last synced: 08 Oct 2025
https://github.com/andreasabel/truthtable
Normalization for truth table natural deduction
Last synced: 25 Feb 2026
https://github.com/andreasabel/git-bug-regression-chart
Plotting open regressions by version from git-bug and github data
Last synced: 30 Apr 2026
https://github.com/andreasabel/tutch
TUTorial proof CHecker -- a small proof language to teach formal reasoning
Last synced: 23 Jan 2026
https://github.com/andreasabel/cabal-bug-build-tool
Demonstrate a cabal build concerning build-tools
Last synced: 05 May 2025
https://github.com/andreasabel/biccc-normalization
Normalization for bicartesian closed categories
Last synced: 02 Feb 2026
https://github.com/andreasabel/closed-canonicity
Some Agda code with the intent to formalize a proof of canonicity for type theory
Last synced: 17 Feb 2026
https://github.com/andreasabel/regression-ghc-9.6-unsafeperformio
Reproducer for a regression in GHC 9.6 concerning `unsafePerformIO`
Last synced: 04 Aug 2025
https://github.com/andreasabel/ini
Quick and easy INI configuration files for Haskell
configuration haskell ini-parser
Last synced: 22 Mar 2025
https://github.com/andreasabel/interval
Dependently typed abstract intervals
Last synced: 22 Feb 2026
https://github.com/andreasabel/stacker
Bump stackage snapshots in `stack*.yaml` files
Last synced: 17 Jan 2026
https://github.com/andreasabel/meeting-logic-and-types-2018
Division meeting Logic and Types 2018
Last synced: 21 Jan 2026
https://github.com/andreasabel/wksh-tt-lambda-2018
Workshop on Type Theory and Lambda Calculus
Last synced: 23 Jan 2026
https://github.com/andreasabel/meeting-logic-and-types-2019
Organization of the Meeting of the CSE Logic & Types Division on 20 September 2019
Last synced: 23 Jan 2026
https://github.com/andreasabel/foetus-report
Report on the foetus termination checker
Last synced: 24 Jan 2026
https://github.com/andreasabel/short-proofs-sn
Short proofs of strong normalization a la Joachimski and Matthes
Last synced: 31 Jan 2026
https://github.com/andreasabel/tree-rotation
Investigating amortized complexity for tree operations
Last synced: 05 Jun 2026