Toxaris/pandoc-lit Toxaris/pandoc-lit

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • License
    Other
  • Created about 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Toxaris/pandoc-lit
github

Toxaris

Reviews

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

Repository Details

Connecting pandoc to lhs2tex for literate programming.

More Repositories

1

pts

Interpreter for functional pure type systems.
Haskell
21
star
2

gll

Java
5
star
3

lift.pts

Constructive lift monad in System Fω
Shell
3
star
4

stlc.scala

Modular implementation of simply-typed lambda calculi in Scala.
Scala
3
star
5

pl-impl

Scala
3
star
6

papercraft-dungeon-generator

Shell
2
star
7

variational

Scala
2
star
8

circular

A variant of Ξ»*.
Haskell
2
star
9

pathfinder2-cards

Playing cards for Pathfinder 2 items etc.
TeX
1
star
10

Grammarkov

Random text generation.
Haskell
1
star
11

latex-styles

A collection of *.sty and *.bst files for use with academic papers written in LaTeX.
TeX
1
star
12

racket-config

My DrRacket Configuration
Racket
1
star
13

time-series

Analyze time series to compute min and max values in rolling window.
Scala
1
star
14

filter-agda-dependency-graph

Haskell
1
star
15

deltas

Haskell
1
star