alejogm0520 / latexEAFIT
A modern LATEX beamer theme for the Universidad EAFIT
☆10Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for latexEAFIT
- Learn the Agda basics in three 2-hour sessions.☆55Updated last year
- An experimental category theory library for Lean☆47Updated last year
- Preprocessor for typesetting Haskell sources with LaTeX☆99Updated 11 months ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 5 months ago
- GAPT: General Architecture for Proof Theory☆94Updated last week
- A slow-paced introduction to reflection in Agda. ---Tactics!☆95Updated 2 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated last week
- Agda bindings to SMT-LIB2 compatible solvers.☆95Updated last month
- Define communication protocols between applications using algebraic data types.☆45Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 8 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Where my everyday research happens☆53Updated last week
- Reimplementation of Parsley in Haskell, with improvements☆49Updated 8 months ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 4 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆24Updated 9 years ago
- What I wish I knew when learning HoTT☆53Updated 5 years ago
- Test your Haskell code by exhaustively checking its properties☆134Updated last year
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 2 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆118Updated 8 months ago
- The theory of algebraic graphs formalised in Agda☆87Updated 6 years ago
- Python wrapper around pdflatex☆29Updated 8 years ago
- PhD course on Functional Programming and Climate Impact Research☆48Updated this week
- Formalising Type Theory in a modular way for translations between type theories☆90Updated 6 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated 2 weeks ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago