mroman42/mikrokosmos-js mroman42/mikrokosmos-js

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created about 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mroman42/mikrokosmos-js
github

mroman42

Reviews

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

Repository Details

Call Mikrokosmos from Javascript

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

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