Skip to content
View alignalghii's full-sized avatar

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report alignalghii

Report abuse

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

Report abuse
alignalghii/README.md

I am interested in topology, algebra, category theory, intuitionistic type theory and mathematical logic. I am trying to approach Agda. I have some background in Haskell (since 2004).

Pinned Loading

  1. CL-zipper-RWS CL-zipper-RWS Public

    A simple interpreter for a tiny lazy functional programming language, in order to demonstrate monad transformers later

    Haskell

  2. practice-preparations-before-learning-attribute-grammars practice-preparations-before-learning-attribute-grammars Public

    Some prerequisite concepts to practice, before beginning the path to learn attribute grammars

    Haskell

  3. esz-ventura-98--bonbons esz-ventura-98--bonbons Public

    Ész Ventura, problem #98: Bonbons. A math game, desktop and web app for analyzing it

    Haskell

  4. client-to-MW-search-API-with-demo-MTs client-to-MW-search-API-with-demo-MTs Public

    A client to MediaWiki's search API, implemented with demo monad transformers for paginated API requests

    Haskell

  5. bilingual-language-tutoring-quiz-with-localization bilingual-language-tutoring-quiz-with-localization Public

    Haskell

  6. vector-algebra-in-Agda vector-algebra-in-Agda Public

    Ultimate goal is to be able to prove theorems about Fourier-Motzkin elimination and polygon collision detection

    Agda