mroman42/rbNapakalaki mroman42/rbNapakalaki

  • Stars
    star
    1
  • Language
    Ruby
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mroman42/rbNapakalaki
github

mroman42

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

mikrokosmos

(λ) Educational lambda calculus interpreter
Haskell
70
star
2

ctlc

(λ) Category theory and lambda calculus, Bachelor's thesis
Agda
38
star
3

plantillas

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

vitrea

Optics via the profunctor representation theorem
Haskell
23
star
5

vitrea-prototype-1

[WIP] Optics via the profunctor representation theorem
Haskell
19
star
6

charlas-libreim

Makefile
11
star
7

profunctor-optics-dissertation

🔎 Profunctor optics and traversals, MSc Dissertation
10
star
8

jupyter-mikrokosmos

A Jupyter kernel for the Mikrokosmos lambda interpreter
JavaScript
9
star
9

discokitty

An educational implementation of some aspects of the DisCoCat framework
Haskell
9
star
10

math-dgiim

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

walters

The collected works of R. F. C. Walters
7
star
12

cosmoi-emacs

My Emacs configuration
Emacs Lisp
7
star
13

mikrokosmos-js

Call Mikrokosmos from Javascript
Haskell
7
star
14

lambda.notes

Drafts from my bachelor's thesis
7
star
15

introCategorias

Apuntes de introducción a la teoría de categorías.
TeX
7
star
16

lambdaLex

Lambda Calculus-Haskell translator, built with Lex and Yacc.
C
7
star
17

org2anki

An org-mode subset parser and exporter to Anki CSV (abandoned project)
Haskell
5
star
18

vitrea-agda

[WIP] Lenses and optics from their formal (co)end derivations
Agda
5
star
19

observe

Do-notation DSL for discrete Bayesian decision theory on the subdistribution monad
Haskell
4
star
20

mikrokosmos-tutorials

Tutorials on lambda calculus using the Mikrokosmos interpreter
Jupyter Notebook
4
star
21

granasatClient

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

Napakalaki

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

feedback-span-graph

Implementation of Span(Graph) via the State(-) construction
Haskell
3
star
24

blog.old

Personal webpage. Powered by org-mode and hugo
HTML
3
star
25

interludio

An experiment on random tonal music.
Haskell
3
star
26

build-a-cloud

Cómo montar una nube: Owncloud o similares
TeX
3
star
27

cuerda

Scripts I use for string and surface diagrams. (WIP)
TeX
3
star
28

optics-form-a-category

Note with a graphical proof that optics form a category
3
star
29

ft-benchmark

Benchmark sobre transmisión de ficheros
Python
3
star
30

templates

A suite of LaTeX/Pandoc/Org templates
TeX
3
star
31

dict-replace

Translation and word replacement auxiliary command for Emacs
Emacs Lisp
3
star
32

tannakian-tambara

Short note: Tannakian reconstruction of Tambara modules
TeX
2
star
33

mroman42.github.io-old

Personal webpage. This is only a redirect.
HTML
2
star
34

preludio

Piezas musicales aleatorias en LOGO
2
star
35

adjunctions

Notes on adjunctions, compiled for a @libreim seminar
2
star
36

optic-int-construction

Short note: Optic embeds into the Int construction
TeX
2
star
37

sum-of-waves

Fourier series equation of a given .wav file.
Jupyter Notebook
2
star
38

.doom.d

Doom Emacs configuration
Emacs Lisp
2
star
39

programming

Solutions to programming exercises
Haskell
2
star
40

music-scores

My free-licensed music, written with Lilypond
LilyPond
2
star
41

agda-code

Exercises and experiments in Agda
Haskell
2
star
42

arrow-streams

Example code for a text on monoidal streams
Haskell
2
star
43

note-kleisli-optics

Kleisli diagrams for optics
2
star
44

mp-tsp

Implementación y comparación de varios algoritmos sobre el TSP.
C++
1
star
45

backtracking

Algoritmos Backtracking y Branch&Bound analizados e implementados
TeX
1
star
46

curryHoward

El isomorfismo de Curry-Howard y una introducción a Coq.
TeX
1
star
47

linguaggi

Linguaggi di programmazione - UNIMI
OCaml
1
star
48

dotfiles.old

My configuration files [obsolete]
Shell
1
star
49

mikrokosmos-lib

Mikrokosmos standard libraries
1
star
50

recorridosArboles

Un ejemplo de uso de Coq y Agda para lemas triviales sobre árboles binarios.
TeX
1
star
51

produoidal-algebra-code

Code draft accompanying The Produoidal Algebra of Process Decomposition
Haskell
1
star
52

libreim-constructiva

Ideas de matemática constructiva y computabilidad para un seminario de @libreim
Haskell
1
star
53

unbiased-category-agda

Short definition of unbiased category in Agda
Agda
1
star
54

note-open-diagrams-via-coend-calculus

See compose.ioc.ee for the latest version
1
star