Interested in the theory of programming languages and adores Haskell.
Block or Report
Block or report pluralia
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
How to write a very simple JIT compiler
A complete computer science study plan to become a software engineer.
A collection of (mostly) technical things every software developer should know about
Synthesis of Heap-Manipulating Programs from Separation Logic
Purely Functional Algorithms and Data Structures in Scala