foretspaisibles / blueprintLinks
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:
- Reimplementation of TeX in Haskell: pre-alpha☆31Updated 11 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A step by step instruction on how to create slides in ConTeXt☆28Updated 5 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- ☆43Updated 3 weeks ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Geneva: portable document preparation system☆9Updated 8 years ago
- A blog about Coq☆46Updated 3 years ago
- literate programming meets unison☆28Updated last week
- Probabilistic Programming☆42Updated last year
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Updated 13 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Updated 2 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆28Updated 10 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- A simple volume indicator utility for the i3 desktop environment (i3bar) interfacing with `pactl`☆15Updated 9 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- OCaml support for Flycheck using Merlin☆22Updated last year
- An Emacs interface for Uzbl.☆100Updated 14 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- colorized REPL for GNU Guile☆37Updated 7 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago