Pinned Repositories
athena-syntax-highlight
A very simple Athena Syntax Highlighting support
cats-effect-tutorial
CompetitiveProgramming
Solutions and Algorithms to some competitive programming problems
confluent-kafka-streams-examples
corelang-hs
Code and exercises of the book Implementing Functional Languages: a tutorial by S.P. Jones and D. Lester
essential-effects-exercises
hott-intro
Formalizations from: Introduction to Homotopy Type Theory by Egbert Rijke
HoTTEST-Summer-School
HoTTEST Summer School materials
pfp-scala
pi-calculus
slemus9's Repositories
slemus9/athena-syntax-highlight
A very simple Athena Syntax Highlighting support
slemus9/cats-effect-tutorial
slemus9/CompetitiveProgramming
Solutions and Algorithms to some competitive programming problems
slemus9/confluent-kafka-streams-examples
slemus9/corelang-hs
Code and exercises of the book Implementing Functional Languages: a tutorial by S.P. Jones and D. Lester
slemus9/essential-effects-exercises
slemus9/hott-intro
Formalizations from: Introduction to Homotopy Type Theory by Egbert Rijke
slemus9/HoTTEST-Summer-School
HoTTEST Summer School materials
slemus9/pfp-scala
slemus9/pi-calculus
slemus9/plfa
Solutions to the book: Programming Language Foundations in Agda, from Wadler, Philip, Wen Kokke, and Jeremy G. Siek
slemus9/ProgrammingInHaskell
slemus9/proust
slemus9/rockthejvm-kafka-streams
slemus9/scala-with-cats-exercises
slemus9/session-types
slemus9/skunk
A data access library for Scala + Postgres.
slemus9/sprite-lang-scala
Implementation of a language with Refinement Types
slemus9/xmonad-dotfiles