foretspaisibles / blueprint
The Blueprint project aims at delivering a full featured library of high quality graphics and diagrams for project managers and system desginers.
☆32Updated 9 years ago
Alternatives and similar repositories for blueprint
Users that are interested in blueprint are comparing it to the libraries listed below
Sorting:
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- Reimplementation of TeX in Haskell: pre-alpha☆31Updated 11 years ago
- The Aldor Programming Language☆34Updated 2 months ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- a fast uniform random tree generator☆31Updated 2 years ago
- A reimplementation of gitit in Yesod☆95Updated 6 years ago
- EB Lettrine☆56Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Examples of technical drawing with John Hobby's MetaPost language☆50Updated 3 months ago
- adds an optional type system to J language☆21Updated 9 years ago
- Collection of helper packages for tex4ht configuration☆41Updated 3 years ago
- A package for managing a static, mathematically-inclined web log☆26Updated 9 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- ☆43Updated 2 months ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 7 years ago
- A step by step instruction on how to create slides in ConTeXt☆28Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Probabilistic Programming☆42Updated last year
- APL parser written in Standard ML☆19Updated 8 years ago
- literate programming meets unison☆28Updated last week
- ☆52Updated 8 years ago
- A blog about Coq☆46Updated 3 years ago
- Temporary/draft repository with luametatex☆36Updated 2 weeks ago
- SML On Stilts☆37Updated 11 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago