mroman42/dict-replace mroman42/dict-replace

  • Stars
    star
    3
  • Rank 3,855,748 (Top 79 %)
  • Language
    Emacs Lisp
  • License
    GNU General Publi...
  • Created almost 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mroman42/dict-replace
github

mroman42

Reviews

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

Repository Details

Translation and word replacement auxiliary command for Emacs

More Repositories

1

mikrokosmos

(位) Educational lambda calculus interpreter
Haskell
70
star
2

ctlc

(位) Category theory and lambda calculus, Bachelor's thesis
Agda
36
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
18
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

math-dgiim

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

discokitty

An educational implementation of some aspects of the DisCoCat framework
Haskell
8
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

mikrokosmos-tutorials

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

granasatClient

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

Napakalaki

Pr谩ctica 1 para Programaci贸n y Dise帽o Orientado a Objetos.
Java
4
star
21

blog.old

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

interludio

An experiment on random tonal music.
Haskell
3
star
23

cuerda

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

build-a-cloud

C贸mo montar una nube: Owncloud o similares
TeX
3
star
25

ft-benchmark

Benchmark sobre transmisi贸n de ficheros
Python
3
star
26

optics-form-a-category

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

templates

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

feedback-span-graph

Implementation of Span(Graph) via the State(-) construction
Haskell
2
star
29

tannakian-tambara

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

preludio

Piezas musicales aleatorias en LOGO
2
star
31

adjunctions

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

optic-int-construction

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

sum-of-waves

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

arrow-streams

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

.doom.d

Doom Emacs configuration
Emacs Lisp
2
star
36

programming

Solutions to programming exercises
Haskell
2
star
37

music-scores

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

mroman42.github.io-old

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

agda-code

Exercises and experiments in Agda
Haskell
2
star
40

note-kleisli-optics

Kleisli diagrams for optics
2
star
41

mp-tsp

Implementaci贸n y comparaci贸n de varios algoritmos sobre el TSP.
C++
1
star
42

backtracking

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

curryHoward

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

unbiased-category-agda

Short definition of unbiased category in Agda
Agda
1
star
45

linguaggi

Linguaggi di programmazione - UNIMI
OCaml
1
star
46

dotfiles.old

My configuration files [obsolete]
Shell
1
star
47

mikrokosmos-lib

Mikrokosmos standard libraries
1
star
48

recorridosArboles

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

rbNapakalaki

Pr谩ctica 1, ahora en Ruby, para Programaci贸n y Dise帽o Orientado a Objetos.
Ruby
1
star
50

produoidal-algebra-code

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

libreim-constructiva

Ideas de matem谩tica constructiva y computabilidad para un seminario de @libreim
Haskell
1
star
52

note-open-diagrams-via-coend-calculus

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