Discover @mroman42 Open Source projects

Mario Román (@mroman42)

mroman42

Stars
359
Global Rank 76,952 (Top 3 %)
Followers 213
Following 163
Registered about 11 years ago
Most used languages

Haskell
30.4 %

TeX
21.7 %

Agda 6.5 %

Emacs Lisp
6.5 %

HTML
4.3 %

C
4.3 %

Jupyter Notebook
4.3 %

OCaml
2.2 %

Python
2.2 %

Java
2.2 %

Makefile 2.2 %

Coq 2.2 %

Shell
2.2 %

JavaScript
2.2 %

C++
2.2 %

Ruby
2.2 %

LilyPond 2.2 %
Location 🇬🇧 United Kingdom
Country Total Rank 108
Country Ranking

LilyPond 6

Agda 11

Coq 15

Haskell
45

TeX
79

Emacs Lisp
93

Makefile 169

OCaml
212

C
1,490

Jupyter Notebook
2,118

HTML
2,509

Java
3,787

Ruby
4,507

Shell
5,265

C++
5,560

JavaScript
6,941

mikrokosmos

(λ) Educational lambda calculus interpreter

ctlc

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

plantillas

Recopilación de plantillas de Latex. Más en: https://github.com/mroman42/templates

vitrea

Optics via the profunctor representation theorem

vitrea-prototype-1

[WIP] Optics via the profunctor representation theorem

charlas-libreim

profunctor-optics-dissertation

🔎 Profunctor optics and traversals, MSc Dissertation

jupyter-mikrokosmos

A Jupyter kernel for the Mikrokosmos lambda interpreter

discokitty

An educational implementation of some aspects of the DisCoCat framework

math-dgiim

📝 Math exercises and theory from my bachelor's degree, written in org-mode (mostly in Spanish)

walters

The collected works of R. F. C. Walters

cosmoi-emacs

My Emacs configuration

mikrokosmos-js

Call Mikrokosmos from Javascript

lambda.notes

Drafts from my bachelor's thesis

introCategorias

Apuntes de introducción a la teoría de categorías.

lambdaLex

Lambda Calculus-Haskell translator, built with Lex and Yacc.

org2anki

An org-mode subset parser and exporter to Anki CSV (abandoned project)

vitrea-agda

[WIP] Lenses and optics from their formal (co)end derivations

observe

Do-notation DSL for discrete Bayesian decision theory on the subdistribution monad

mikrokosmos-tutorials

Tutorials on lambda calculus using the Mikrokosmos interpreter

Jupyter Notebook

granasatClient

Client side of GranaSAT experiment, selected for BEXUS 19 campaign. Collects data from the experiment and displays a GTK app.

Napakalaki

Práctica 1 para Programación y Diseño Orientado a Objetos.

feedback-span-graph

Implementation of Span(Graph) via the State(-) construction

blog.old

Personal webpage. Powered by org-mode and hugo

interludio

An experiment on random tonal music.

build-a-cloud

Cómo montar una nube: Owncloud o similares

cuerda

Scripts I use for string and surface diagrams. (WIP)

optics-form-a-category

Note with a graphical proof that optics form a category

ft-benchmark

Benchmark sobre transmisión de ficheros

templates

A suite of LaTeX/Pandoc/Org templates

dict-replace

Translation and word replacement auxiliary command for Emacs

tannakian-tambara

Short note: Tannakian reconstruction of Tambara modules

mroman42.github.io-old

Personal webpage. This is only a redirect.

preludio

Piezas musicales aleatorias en LOGO

adjunctions

Notes on adjunctions, compiled for a @libreim seminar

optic-int-construction

Short note: Optic embeds into the Int construction

sum-of-waves

Fourier series equation of a given .wav file.

Jupyter Notebook

.doom.d

Doom Emacs configuration

programming

Solutions to programming exercises

music-scores

My free-licensed music, written with Lilypond

agda-code

Exercises and experiments in Agda

arrow-streams

Example code for a text on monoidal streams

note-kleisli-optics

Kleisli diagrams for optics

mp-tsp

Implementación y comparación de varios algoritmos sobre el TSP.

backtracking

Algoritmos Backtracking y Branch&Bound analizados e implementados

curryHoward

El isomorfismo de Curry-Howard y una introducción a Coq.

linguaggi

Linguaggi di programmazione - UNIMI

dotfiles.old

My configuration files [obsolete]

mikrokosmos-lib

Mikrokosmos standard libraries

recorridosArboles

Un ejemplo de uso de Coq y Agda para lemas triviales sobre árboles binarios.

rbNapakalaki

Práctica 1, ahora en Ruby, para Programación y Diseño Orientado a Objetos.

produoidal-algebra-code

Code draft accompanying The Produoidal Algebra of Process Decomposition

libreim-constructiva

Ideas de matemática constructiva y computabilidad para un seminario de @libreim

unbiased-category-agda

Short definition of unbiased category in Agda

note-open-diagrams-via-coend-calculus

See compose.ioc.ee for the latest version