Alternatives and similar repositories for latexEAFIT

Users that are interested in latexEAFIT are comparing it to the libraries listed below

• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆45Updated 2 years ago
• justjoheinz / idris-httpclient
  A http client for Idris based on libcurl
  ☆10Updated 9 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆36Updated 4 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• dylnb / esslli2015-monads
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆26Updated 9 years ago
• runarorama / unisonlibraries
  A collection of libraries I've written for Unison
  ☆11Updated 5 years ago
• owickstrom / automating-the-build-of-your-technical-presentation-template
  The full template for "Automating the Build of your Technical Presentation"
  ☆26Updated 7 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• edwinb / Vars
  A small library for tracking mutable state in Idris programs
  ☆12Updated 8 years ago
• jules-hedges / open-games
  Haskell implementation of open games
  ☆12Updated 9 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• grasswire / scrapey
  tiny webservice to get a link preview from a url
  ☆15Updated 9 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• milessabin / tls-philly-rbtree-2016
  ☆16Updated 9 years ago
• pigworker / Bi71
  being a bidirectional reformulation of Martin-Löf's 1971 type theory
  ☆25Updated 7 years ago
• agda / package-index
  A package Index for agda libraries
  ☆12Updated 4 years ago
• frelindb / agsyHOL
  ☆22Updated 9 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆25Updated 3 weeks ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• ekmett / magpie
  an exploration of subtyping-based category theory in scala
  ☆25Updated 14 years ago
• striot / striot
  functional STReam processing for the IOT
  ☆25Updated last month
• patrikja / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆16Updated 9 years ago
• scodec / scodec-scalaz
  Integration between scodec and scalaz
  ☆10Updated 6 years ago
• stackbuilders / inflections-hs
  Rails-like inflections for Haskell
  ☆36Updated last year
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• bobatkey / interactive-natural-deduction
  An editor for interactively building natural deduction proofs
  ☆20Updated 6 years ago