mroman42/mikrokosmos-tutorials mroman42/mikrokosmos-tutorials

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Jupyter Notebook
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mroman42/mikrokosmos-tutorials
github

mroman42

Reviews

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

Repository Details

Tutorials on lambda calculus using the Mikrokosmos interpreter

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

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