Projects in Awesome Lists by aztek
A curated list of projects in awesome lists by aztek .
https://github.com/aztek/scala-workflow
Boilerplate-free syntax for computations with effects
applicative-functors functional-programming functors monads scala scala-macros
Last synced: 31 Jul 2025
https://github.com/aztek/atp
Haskell interface to automated theorem provers
atp automated-theorem-provers first-order-logic formal-methods haskell logic prover theorem-proving tptp
Last synced: 15 Oct 2025
https://github.com/aztek/porterstemmer
An implementation of the Porter stemming algorithm in Scala
porter-stemming-algorithm scala stemmer
Last synced: 31 Jul 2025
https://github.com/aztek/tptp
Parser and pretty printer for the TPTP language
automated-theorem-provers eprover haskell haskell-library logic parsing parsing-library pretty-print theorem-proving tptp vampire
Last synced: 20 Jul 2025
https://github.com/aztek/voogie
A verification conditions generator for Boogie programs
boogie haskell tptp vampire verification verification-conditions
Last synced: 02 Jul 2025
https://github.com/aztek/solver.agda
A collection of simple verified SAT-solvers
Last synced: 30 Aug 2025
https://github.com/aztek/craig-lyndon
A half-baked constructive proof of Craig-Lyndon interpolation theorem for propositional logic
Last synced: 20 Feb 2026
https://github.com/aztek/turing-complete-iceberg
The "X is Turing-complete" Iceberg meme
Last synced: 19 Mar 2026
https://github.com/aztek/db.js
Lightweight document-oriented database in your browser
Last synced: 27 Mar 2025
https://github.com/aztek/atomizer
⚛︎ Find misplaced atoms in Erlang code
dialyzer erlang static-analysis
Last synced: 26 Jun 2025
https://github.com/aztek/phd-thesis
Automated Theorem Proving with Extensions of First-Order Logic
automated-reasoning dissertation first-order-logic formal-methods phd-thesis theorem-proving
Last synced: 07 Jan 2026
https://github.com/aztek/agda-sets
Constructive proofs for elementary set theory
Last synced: 30 Jan 2026
https://github.com/aztek/kyckling
A translator of code fragments with assertions to TPTP problems
Last synced: 27 Mar 2025
https://github.com/aztek/advent-of-code-2021
advent-of-code advent-of-code-2021 advent-of-code-2021-haskell aoc aoc2021 haskell
Last synced: 27 Mar 2025
https://github.com/aztek/6nimmt
An Ada 2012 text terminal implementation of the board game 6 Nimmt!.
Last synced: 06 May 2026