Discover @mroman42 Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Elixir

Zig

C#

Crystal

C

MATLAB

Julia

CSS

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

R

PHP

Python

Racket

Elixir

Perl

C++

Dart

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇲🇿 Mozambique

🇧🇿 Belize

🇸🇴 Somalia

🇺🇬 Uganda

🇪🇷 Eritrea

🇱🇾 Libya

🇸🇳 Senegal

🇾🇹 Mayotte

All Countries Compare Countries

Mario Román (@mroman42)

mroman42

Stars
343
Global Rank 77,025 (Top 3 %)
Followers 202
Following 189
Registered over 10 years ago
Most used languages

Haskell
28.9 %

TeX
22.2 %

Agda 6.7 %

Emacs Lisp
6.7 %

HTML
4.4 %

Jupyter Notebook
4.4 %

C
4.4 %

LilyPond 2.2 %

JavaScript
2.2 %

Python
2.2 %

Coq 2.2 %

Shell
2.2 %

OCaml
2.2 %

Makefile 2.2 %

Ruby
2.2 %

Java
2.2 %

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

LilyPond 5

Agda 10

Coq 14

Haskell
48

TeX
72

Emacs Lisp
90

Makefile 164

OCaml
195

C
1,415

Jupyter Notebook
1,979

HTML
2,753

Ruby
3,596

Java
3,893

C++
5,410

Shell
6,178

JavaScript
6,656

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

math-dgiim

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

discokitty

An educational implementation of some aspects of the DisCoCat framework

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

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.

blog.old

Personal webpage. Powered by org-mode and hugo

interludio

An experiment on random tonal music.

cuerda

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

build-a-cloud

Cómo montar una nube: Owncloud o similares

ft-benchmark

Benchmark sobre transmisión de ficheros

optics-form-a-category

Note with a graphical proof that optics form a category

templates

A suite of LaTeX/Pandoc/Org templates

dict-replace

Translation and word replacement auxiliary command for Emacs

feedback-span-graph

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

tannakian-tambara

Short note: Tannakian reconstruction of Tambara modules

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

arrow-streams

Example code for a text on monoidal streams

.doom.d

Doom Emacs configuration

music-scores

My free-licensed music, written with Lilypond

programming

Solutions to programming exercises

mroman42.github.io-old

Personal webpage. This is only a redirect.

agda-code

Exercises and experiments in Agda

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.

unbiased-category-agda

Short definition of unbiased category in Agda

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

note-open-diagrams-via-coend-calculus

See compose.ioc.ee for the latest version