Skip to content
View alignalghii's full-sized avatar

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor
Block or Report

Block or report alignalghii

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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