mroman42/ctlc mroman42/ctlc

  • Stars
    star
    38
  • Rank 706,870 (Top 14 %)
  • Language Agda
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mroman42/ctlc
github

mroman42

Reviews

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

Repository Details

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

More Repositories

1

mikrokosmos

(λ) Educational lambda calculus interpreter
Haskell
70
star
2

plantillas

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

vitrea

Optics via the profunctor representation theorem
Haskell
23
star
4

vitrea-prototype-1

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

charlas-libreim

Makefile
11
star
6

profunctor-optics-dissertation

🔎 Profunctor optics and traversals, MSc Dissertation
10
star
7

jupyter-mikrokosmos

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

discokitty

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

math-dgiim

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

walters

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

cosmoi-emacs

My Emacs configuration
Emacs Lisp
7
star
12

mikrokosmos-js

Call Mikrokosmos from Javascript
Haskell
7
star
13

lambda.notes

Drafts from my bachelor's thesis
7
star
14

introCategorias

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

lambdaLex

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

org2anki

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

vitrea-agda

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

observe

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

mikrokosmos-tutorials

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

granasatClient

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

Napakalaki

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

feedback-span-graph

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

blog.old

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

interludio

An experiment on random tonal music.
Haskell
3
star
25

build-a-cloud

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

cuerda

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

optics-form-a-category

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

ft-benchmark

Benchmark sobre transmisión de ficheros
Python
3
star
29

templates

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

dict-replace

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

tannakian-tambara

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

mroman42.github.io-old

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

preludio

Piezas musicales aleatorias en LOGO
2
star
34

adjunctions

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

optic-int-construction

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

sum-of-waves

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

.doom.d

Doom Emacs configuration
Emacs Lisp
2
star
38

programming

Solutions to programming exercises
Haskell
2
star
39

music-scores

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

agda-code

Exercises and experiments in Agda
Haskell
2
star
41

arrow-streams

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

note-kleisli-optics

Kleisli diagrams for optics
2
star
43

mp-tsp

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

backtracking

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

curryHoward

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

linguaggi

Linguaggi di programmazione - UNIMI
OCaml
1
star
47

dotfiles.old

My configuration files [obsolete]
Shell
1
star
48

mikrokosmos-lib

Mikrokosmos standard libraries
1
star
49

recorridosArboles

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

rbNapakalaki

Práctica 1, ahora en Ruby, para Programación y Diseño Orientado a Objetos.
Ruby
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