mroman42 Goto Github PK
Name: Mario Román
Type: User
Location: Oxford
Blog: mroman42.github.io
Name: Mario Román
Type: User
Location: Oxford
Blog: mroman42.github.io
Doom Emacs configuration
Paper on languages for evolutionary algorithms
Paper on comparing languages for PPSN
Updating the paper for WCCI
Apuntes de Álgebra Abstracta
Notes on adjunctions, compiled for a @libreim seminar
Exercises and experiments in Agda
Programming library for Agda
A reactive agent solving an adaptation of a Norvig's problem
Example code for a text on monoidal streams
Repositorio de recursos y cosas útiles para estudiar Informática y Matemáticas
Algoritmos Backtracking y Branch&Bound analizados e implementados
Short note: bayes update in do-notation
Personal webpage, powered by Hakyll and org-mode
blog
Personal webpage. Powered by org-mode and hugo
Cómo montar una nube: Owncloud o similares
Repository for all packages of the CAP project
Diferentes scripts para representación de carreras en cifras
Ejemplo de Cliente-Servidor para Fundamentos de Redes
Compresión mínima de árboles binarios, en Haskell.
The Compositionality article class.
Repositorio de las prácticas de Informática Gráfica
Prácticas de Sistemas Concurrentes y Distribuidos
Webpage and blog, using org-mode.
My Emacs configuration
Music pieces written in Csound
:arrow_down_small: Display any CSV (comma separated values) file as a searchable, filterable, pretty HTML table
(λ) Category theory and lambda calculus, Bachelor's thesis
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.