All projects
Note: artifacts in italics are non-canonical forks. See the wiki for more details.
Displaying projects 16501 - 16520 of 32281
OS interaction
close 2015-12-08 | A tiny clojure library with some helpers for writing LaTeX, e.g. escaping special characters, and turning dumb quotes to smart quotes.
jtlocsei 2019-08-11 | Lojban Rats! parser
tomoj 2012-08-25 | No description given
tomoj 2012-10-14 | Persistent Data Structures for JavaScript
tomoj 2012-06-05 | LaTTe : a Laboratory for Type Theory Experiments
fredokun 2021-03-13 | A formalization of integers in LaTTe.
fredokun 2021-03-13 | The (very) small kernel of the LaTTe proof assistant
fredokun 2021-03-13 | The core library for the LaTTe proof assistant.
fredokun 2021-03-13 | A formalization of (typed) Set theory in LaTTe.
fredokun 2021-03-13 | Use Novation Launchkey Mini with Overtone
magicmonty 2015-03-21 | Interface with the Launchpad S from Overtone
lgastako 2014-01-01 | Lawrence: LR parser generator
cresh 2021-05-06 | turn one or more go blocks into a lazy-seq
zeroem 2013-08-01 | Lazy map of clojure, by Meikel Brandmeyer
renewdoit 2010-05-29 |