Projects in Awesome Lists tagged with type-setting

A curated list of projects in awesome lists tagged with type-setting .

• Sort

  • Recently synced
  • Stars

https://github.com/rybla/compilator

An abstractly-specified transpiler

haskell programming-language type-setting

Last synced: 08 Nov 2025

https://github.com/rybla/atf

Abstract transpilation framework.

haskell latex type-setting

Last synced: 24 Apr 2026