Discover @jaalonso Open Source projects

Jose A. Alonso (@jaalonso)

jaalonso

Stars
187
Global Rank 129,847 (Top 5 %)
Followers 162
Following 340
Registered almost 14 years ago
Most used languages

Haskell
51.2 %

Lean 26.8 %

Python
4.9 %

Jupyter Notebook
4.9 %

Isabelle 4.9 %

HTML
2.4 %

TeX
2.4 %

Prolog
2.4 %
Location 🇪🇸 Spain
Country Total Rank 1,611
Country Ranking

Isabelle 2

Lean 2

Haskell
12

Prolog
49

TeX
194

Jupyter Notebook
900

HTML
1,104

Python
2,896

Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

Pensamientos

Recopilación de pensamientos.

Examenes_de_PF_con_Haskell

Exámenes de programación funcional con Haskell

Categorias_y_programacion

Bibliografía sobre teoría de categorías y programación funcional

Libros_de_Logica

Recopilación de libros de lógica

Logica_con_Lean

Introducción a la lógica con Lean.

PC-Haskell

Programación competitiva con Haskell

I1M

Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)

Matematicas_en_Lean

Matemáticas en Lean

Intro-HaskellForMaths

Introducción a HaskellForMaths

Recopilaciones

Recopilaciones de cursos y ofertas de trabajo

FormulasYpolinomios

Sistema certificado de decisión proposicional basado en polinomios.

Piensa-en-Haskell-y-en-Python

Ejercicios de programación con Haskell y con Python

Exercitium1

Ejercicios de programación funcional con Haskell del blog Exercitium (Volumen 1).

Exercitium

Ejercicios de programación funcional con Haskell

I1M-Cod-Temas

Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).

Quotes

Quotes on Mathematics and Computer Science.

I1M-Ejercicios-Haskell

Ejercicios de programación funcional con Haskell.

Temas_interactivos_de_PF_con_Haskell

Temas interactivos de programación funcional con Haskell.

Jupyter Notebook

Ejercicios-Python

Ejercicios de programación con Python

Calculemus2

Ejercicios de demostración con Lean4 e Isabelle/HOL.

Exercitium2018

Ejercicios de programación funcional con Haskell (Curso 2018-19)

RA20116

Curso de "Razonamiento automático"

Examenes_de_PF_con_Haskell_Vol11

Exámenes de programación funcional con Haskell. Vol. 11 (Curso 2019-20)

Exercitium2013

Ejercicios de programación funcional con Haskell (Curso 2013-14)

Exercitium-Python

Soluciones de los problemas de Exercitium con Python

Trabajos-MULCIA

Ofertas de trabajo de interés para el MULCIA

Cursos_de_PF_con_Haskell

Recopilación de cursos de programación funcional con Haskell.

Examenes_de_PF_con_Haskell_Vol7

Exámenes de programación funcional con Haskell. Vol. 7 (Curso 2015-16)

Razonando-con-Lean

Elaboración de demostraciones con Lean.

Matematicas_en_Lean4

Matemáticas en Lean4

Calculemus

Ejercicios de demostración con Lean e Isabelle/HOL.

Ejercicios-Prolog

Ejercicios de programación lógica con Prolog

Musica-de-Bach

Música de Johann Sebastian Bach

Explorando-con-Lean

Explorando formalizaciones con Lean

Examenes_de_PF_con_Haskell_Vol4

Exámenes de programación funcional con Haskell. Vol. 4 (Curso 2012-13)

Examenes_de_PF_con_Haskell_Vol3

Exámenes de programación funcional con Haskell. Vol. 3 (Curso 2011-12)

SLP

Semánticas de lenguajes de programación formalizadas en Isabelle/HOL

Logica-en-Haskell

Desarrollo de la lógica con Haskell.

Examenes_de_PF_con_Haskell_Vol2

Exámenes de programación funcional con Haskell. Vol. 2 (Curso 2010-11)

GraficasEnIHaskell

Representación de gráficas con GNUplot en IHaskell.

Jupyter Notebook

Examenes_de_PF_con_Haskell_Vol5

Exámenes de programación funcional con Haskell. Vol. 5 (Curso 2013-14)

Examenes_de_PF_con_Haskell_Vol10

Exámenes de programación funcional con Haskell. Vol. 10 (Curso 2018-19)

Examenes_de_PF_con_Haskell_Vol1

Exámenes de programación funcional con Haskell. Vol. 1 (Curso 2009-10)

Examenes_de_PF_con_Haskell_Vol9

Exámenes de programación funcional con Haskell. Vol. 9 (Curso 2017-18)

Demostraciones-con-Lean

Demostraciones con Lean

Examenes_de_PF_con_Haskell_Vol6

Exámenes de programación funcional con Haskell. Vol. 6 (Curso 2014-15)

Examenes_de_PF_con_Haskell_Vol8

Exámenes de programación funcional con Haskell. Vol. 8 (Curso 2016-17)

ParaGabriel

Exercises in formalizing mathematics with Lean 4

Formalizacion_de_las_matematicas_en_Lean

Formalización de las matemáticas en Lean

LogicaProgramacionDemostracion

Lógica (con deducción natural), programación (con Haskell) y demostración (con Lean).