smimram/ocaml-pandoc smimram/ocaml-pandoc

  • Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language
    OCaml
  • License
    GNU Lesser Genera...
  • Created over 3 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
smimram/ocaml-pandoc
github

smimram

Reviews

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

Repository Details

An OCaml library for creating pandoc filters.

More Repositories

1

funk

Functional kernel written in OCaml.
OCaml
32
star
2

monadic-synth

A monadic library for creating synthesizers in OCaml.
OCaml
31
star
3

strid

A string diagram generator for LaTeX.
OCaml
26
star
4

ocaml-alg

Algebraic structures in OCaml.
OCaml
17
star
5

catt

An infinity-categorical coherence typechecker
OCaml
15
star
6

satex

String diagrams in LaTeX.
OCaml
13
star
7

snippetor

Extract snippets from code specified by comments.
OCaml
11
star
8

ocaml-glpk

OCaml bindings for glpk
C
10
star
9

learning-effect

Modeling guitar amplifiers using machine learning.
OCaml
9
star
10

Mini-TT

A simple type-theoretic language in OCaml: Mini-TT
OCaml
8
star
11

mlsub

My own implementation of MLsub.
OCaml
8
star
12

fibred-polynomials

Formalizing polynomials in groupoids.
Agda
7
star
13

saml

A compiler for sound generators and processors.
OCaml
7
star
14

sparkling

Perform verification of concurrent programs using syntactic regions.
OCaml
5
star
15

ocaml-nn

Neural networks in OCaml.
OCaml
4
star
16

homer

Homotopy and rewriting
OCaml
3
star
17

hyper

Hypergraph rewriting for PROPs
OCaml
3
star
18

my-HoTT-Agda

Agda developments in homotopy type theory
Agda
2
star
19

agda100

Formalizing 100 theorems in Agda
Agda
2
star
20

polyr

Polygraphic rewriting
OCaml
2
star
21

ocaml-dblp

OCaml library to use the DBLP bibliographic database API.
OCaml
2
star
22

ocaml-irc

IRC client for OCaml
OCaml
2
star
23

bgsubtract0r

Frei0r plugin to perform background subtraction on a still video.
C
2
star
24

levenfind

Find pairs of similar files according to Levenshtein distance.
OCaml
2
star
25

ocaml-elaboration-zoo

Minimal implementations for dependent type checking and elaboration, in OCaml.
OCaml
2
star
26

div2

An Agda formalization of "division by 2" in classical ZF without choice.
Agda
2
star
27

ocaml-backprop

Automatic backpropagation in OCaml.
OCaml
2
star
28

videocast

Broadcast video from browser to Liquidsoap.
JavaScript
1
star
29

lemonde-notify

Notifications Gnome pour le flux live du Monde.
Python
1
star
30

collage

Make photo collages (to print photobooks).
OCaml
1
star
31

smimram.github.com

Webpage.
HTML
1
star
32

agda-polygraphs

Polygraphs in Agda.
Agda
1
star
33

methml

An ML language with methods.
OCaml
1
star
34

proof-assistant-project

Template for the proof assistant project CSC_51051_EP.
OCaml
1
star