Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell latex
haskell
x
latex
x
52 search results found
Milewski Ctfp Pdf
⭐
10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Reanimate
⭐
1,027
Haskell library for building declarative animations based on SVG graphics
Pandoc Crossref
⭐
863
Pandoc filter for cross-references
Resume
⭐
685
👾 My resume / 我的简历
Thinking With Types
⭐
433
📖 source material for Thinking with Types
Hascard
⭐
269
flashcard TUI with markdown cards
Texmath
⭐
262
A Haskell library for converting LaTeX math to MathML.
Hatex
⭐
196
The Haskell LaTeX library.
Concise Cheat Sheets
⭐
108
Cheat Sheets for programming languages and tools
Heckle
⭐
83
✒️ Jekyll in Haskell (feat. LaTeX)
Pandoc Theorem
⭐
43
Write LaTeX theorems in Pandoc Markdown
Pulp
⭐
41
pulp: process your LaTeX log file with pulp and make a better paper
Latex Formulae
⭐
36
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
Haskell_articles
⭐
34
A List of Haskell articles on good design, good testing
Symbolic Math Hatex
⭐
27
Convenient Haskell syntax for writing in LaTeX math expressions
Haskell.sty
⭐
26
LaTeX style file to typeset functional languages like Haskell
Mathblog
⭐
25
A package for managing a static, mathematically-inclined web log
Pandoc Unicode Math
⭐
23
Replace Unicode symbols by equivalent Latex commands
Ltxbot
⭐
22
A Twitter bot that renders LaTeX for you
Haskintex
⭐
22
Haskell Evaluation inside of LaTeX code.
Category Theory For Programmers
⭐
21
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
Pandoc Emphasize Code
⭐
21
A Pandoc filter for emphasizing code in fenced blocks
Hatex Guide
⭐
20
The HaTeX User's Guide
Dicy
⭐
20
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
Curveproject
⭐
17
Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)
Latex Live Snippets
⭐
17
deprecated by `design-tools`
Pandoc Filters
⭐
16
Various filters I have written for use with the fantastic jgm/pandoc. Once in python, now in haskell.
Pandoc Pyplot
⭐
15
A Pandoc filter to generate Matplotlib/Plotly figures directly in documents
Hex
⭐
15
a flexible text macro system
Haskellcheatsheet
⭐
15
A reference sheet for the basics of the mind-expanding Haskell language ^_^
Simplex
⭐
14
Simple LaTeX
Publish
⭐
13
Publishing tools for papers, books, and presentations
Agda2lagda
⭐
13
Simple conversion from Agda text to literate Agda text.
Diagrams Builder
⭐
12
Utilities for creating diagram-building tools
Pandoc Filter Graphviz
⭐
12
Pandoc Filters
⭐
11
A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)
Marxup
⭐
11
Markup language on top of Haskell
Latex Svg
⭐
10
Render LaTeX math to SVG mages
Org Babel Diagrams
⭐
10
embed haskell diagrams in emacs org-mode files
Pandocfilters
⭐
9
Some pandoc filters in python/haskell that I've scratched together (for learning purposes)
Latex2wp
⭐
9
A LaTeX -> WordPress utility built on Pandoc.
Pandoc Tuftelatex2gitbook
⭐
8
A modified version of the pandoc program that handles the sidenotes, marginnotes and footnote spacing adjustments that are part of the tufteLaTeX documentclass.
Proof
⭐
7
Amsthm To Anki
⭐
7
Translate math notes written with the amsthm package to Anki notecards!
Depgraph
⭐
6
Draw dependency graphs for math theorems
Logitex
⭐
6
a tool to convert a basic custom logic language into LaTeX files
Aaudoc
⭐
6
A cross-platform system for automation of LaTeX document compilation.
Texhs
⭐
6
TeX Parser in Haskell
Yurumath
⭐
5
ゆるい LaTeX数式 → MathML 変換器(になる予定)
Dotfiles
⭐
5
My configuration for Arch Linux with dotmake, bspwm, polybar, kitty, doom emacs, neovim, fish and others
Minimaltikzhakyll
⭐
5
Code to insert TikZ diagrams into your Hakyll website easily
Asciimath
⭐
5
Compiler from asciimath to LaTeX
Related Searches
Tex Latex (5,332)
Python Latex (1,350)
Haskell Ghc (1,289)
Types Haskell (1,028)
Latex Thesis (992)
Language Haskell (853)
Haskell Functional Programming (811)
Markdown Latex (684)
Haskell Monad (681)
Haskell Hackage (574)
1-52 of 52 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.