mroman42 Goto Github PK

.doom.d

Doom Emacs configuration

2015-ea-languages

Paper on languages for evolutionary algorithms

2016-ea-languages-ppsn

Paper on comparing languages for PPSN

2016-ea-languages-wcci

Updating the paper for WCCI

abstract-algebra

Apuntes de Álgebra Abstracta

adjunctions

Notes on adjunctions, compiled for a @libreim seminar

agda-code

Exercises and experiments in Agda

agda-prelude

Programming library for Agda

agent-ia

A reactive agent solving an adaptation of a Norvig's problem

arrow-streams

Example code for a text on monoidal streams

awesome

Repositorio de recursos y cosas útiles para estudiar Informática y Matemáticas

backtracking

Algoritmos Backtracking y Branch&Bound analizados e implementados

bayes-do-notation

Short note: bayes update in do-notation

blog

Personal webpage, powered by Hakyll and org-mode

blog-1

blog

blog.old

Personal webpage. Powered by org-mode and hugo

build-a-cloud

Cómo montar una nube: Owncloud o similares

cap_project

Repository for all packages of the CAP project

carreras-en-cifras

Diferentes scripts para representación de carreras en cifras

charlas-libreim

clienteservidor

Ejemplo de Cliente-Servidor para Fundamentos de Redes

codificacionarboles

Compresión mínima de árboles binarios, en Haskell.

compositionality-latex-template

The Compositionality article class.

computer-graphics

Repositorio de las prácticas de Informática Gráfica

concurrencia

Prácticas de Sistemas Concurrentes y Distribuidos

cosmoi

Webpage and blog, using org-mode.

cosmoi-emacs

My Emacs configuration

csound-music

Music pieces written in Csound

csv-to-html-table

:arrow_down_small: Display any CSV (comma separated values) file as a searchable, filterable, pretty HTML table

ctlc

(λ) Category theory and lambda calculus, Bachelor's thesis