Andrés Sicard-Ramírez Andrés Sicard-Ramírez

Tracking 15.2K commits to 83 open source packages


Homepage: http://www1.eafit.edu.co/asr/

Company: Universidad EAFIT


Repositories

asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
asr/fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
Agda - MIT - Last pushed - 2 stars - 2 forks
asr/peano
Haskell natural numbers
Haskell - MIT - Last pushed - 0 stars
asr/DTFL
Agda code for the course dependently typed functional languages - CB0683/2011-01
Verilog - Last pushed - 8 stars - 2 forks
asr/pdfname
Name a PDF file using information from the `pdfinfo` command
Haskell - MIT - Last pushed - 1 stars
asr/apia
Haskell program for proving first-order theorems written in Agda using automatic theorem provers ...
Haskell - MIT - Last pushed - 0 stars
See all Andrés Sicard-Ramírez's repositories

Repositories Contributed To

DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
masondesu/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 0 stars - 24 forks
JasonGross/Agda
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git
Haskell - Other - Updated - 1 stars
dagit/agda
Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can...
Haskell - Other - Updated - 1 stars
np/agda-git-experiment
darcs-bridge experiment with Agda repository
Haskell - Other - Last pushed - 0 stars
jechev28/real-numbers-formalisation
Agda - Last pushed - 0 stars
See all Andrés Sicard-Ramírez's contributions

Published Packages

pdfname
The pdfname command-line program names a PDF file using the author, year of creation and title in...
Latest release 0.3 - Updated - 1 stars
See all Andrés Sicard-Ramírez's packages

Most Used Packages

Sphinx
Python documentation generator
Latest release 2.1.0 - Updated - 2.61K stars
sphinx_rtd_theme
Read the Docs theme for Sphinx
Latest release 0.4.2 - Updated - 2.85K stars
See all Andrés Sicard-Ramírez's most used packages

Last synced: 2016-12-16 16:07:23 UTC

Login to resync this page