Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Ef55
A curated list of projects in awesome lists by Ef55 .
https://github.com/ef55/stainless-stlc
System F in Stainless
lambda-calculus stainless system-f verified
Last synced: 10 Oct 2024
https://github.com/ef55/scala-expression-processor
Library to write AST builders and computation expressions for Scala 3
Last synced: 06 Nov 2024
https://github.com/ef55/bscp-syntax-transformation
Bachelor project done at LARA in Spring 2021
Last synced: 06 Nov 2024
https://github.com/ef55/reports-and-presentations
Some (hopefully) interesting reports and presentations I worked on. Also serves as a place for me to find some of my LaTeX code.
Last synced: 06 Nov 2024
https://github.com/ef55/hrm-scala-compiler
Runtime-staged compiler from Scala3 to Human Resource Machine assembly
Last synced: 06 Nov 2024