Projects in Awesome Lists tagged with twelf
A curated list of projects in awesome lists tagged with twelf .
https://github.com/namin/dot
formalization of the Dependent Object Types (DOT) calculus
coq dafny meta-theory oop plt-redex twelf
Last synced: 29 Jul 2025
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/jgaltidor/twelf_tutorial
Twelf Tutorial and Twelf Encoding of Minilang
formal-methods formal-verification proof-assistant twelf typetheory-paper
Last synced: 13 Mar 2026
https://github.com/ahf/twelf-syntax
Vim plug-in for the Twelf language.
twelf vim vim-plugin vim-script
Last synced: 22 Mar 2025
https://github.com/pqnelson/ml
A Study in Implementing Functional Programming Languages
abstract-machine acsl c compiler correctness functional-programming-language hoare-logic interpreter language parser twelf
Last synced: 11 May 2025
https://github.com/mroik/twelf-interpreter
A twelf interpreter written in python
Last synced: 18 May 2026
https://github.com/ahf/twelf-experiments
Toy programs written while trying to learn the Twelf language.
Last synced: 04 Jan 2026
https://github.com/wizard7377/stelf
A port of the Twelf implementation of the Logical Framework to OCaml
elf lf logic logic-programming ocaml twelf type-theory
Last synced: 26 Apr 2026
