Skip to content
View thelissimus's full-sized avatar
💢
💢
118 followers · 71 following

Organizations

@keilambda @haskelluz @Undecidable-Team

Block or report thelissimus

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
thelissimus/README.README 
Interested in all the things functional. Jack of many trades, master of some, fan of none. 1-based indexing apologist.

Pinned Loading

  1. leanprover-community/batteries leanprover-community/batteries Public

    The "batteries included" extended library for the Lean programming language and theorem prover

    Lean 349 128

  2. leanprover/cslib leanprover/cslib Public

    The Lean Computer Science Library (CSLib)

    Lean 208 40

  3. keilambda/ttfpi-agda keilambda/ttfpi-agda Public

    Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda

    Agda 5

  4. keilambda/eocia-haskell keilambda/eocia-haskell Public

    Essentials of Compilation: An Incremental Approach in Haskell

    Haskell 7

  5. jinyus/related_post_gen jinyus/related_post_gen Public

    Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.

    C++ 381 104

  6. ted ted Public

    Text EDitor

    C 5