All projects

Note: artifacts in italics are non-canonical forks. See the wiki for more details.

• last-tweet 1.0.3

  
  Demo project for advanced boot scripting blog post. Library code that downloads the last tweet from a given twitter account.

  ---

  jjmojojjmojo 2015-05-24
• lasync 0.1.11

  
  executor service that blocks on .submit after the task queue limit is reached

  ---

  tolitius 2017-08-24
• latch 0.0.1-SNAPSHOT

  
  Simple authentication and authorization for Gate.

  ---

  mischov 2014-01-22
• late.system 0.1.6-SNAPSHOT

  
  OS interaction

  ---

  close 2015-12-08
• latex-helper 0.1.2

  
  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
• la.tomoj/camxes-rats 1

  
  Lojban Rats! parser

  ---

  tomoj 2012-08-25
• la.tomoj/geohash-java 1.0.6

  
  No description given

  ---

  tomoj 2012-10-14
• la.tomoj/mori 0.1.0-SNAPSHOT

  
  Persistent Data Structures for JavaScript

  ---

  tomoj 2012-06-05
• latte 1.0b10-SNAPSHOT

  
  LaTTe : a Laboratory for Type Theory Experiments

  ---

  fredokun 2021-03-13
• latte-integers 0.13.0-SNAPSHOT

  
  A formalization of integers in LaTTe.

  ---

  fredokun 2021-03-13
• latte-kernel 1.0b10-SNAPSHOT

  
  The (very) small kernel of the LaTTe proof assistant

  ---

  fredokun 2021-03-13
• latte-prelude 1.0b10-SNAPSHOT

  
  The core library for the LaTTe proof assistant.

  ---

  fredokun 2021-03-13
• latte-sets 1.0b10-SNAPSHOT

  
  A formalization of (typed) Set theory in LaTTe.

  ---

  fredokun 2021-03-13
• launch4j 3.0.2

  
  No description given

  ---

  earthlingzephyr 2013-01-03
• launchkey-mini 0.1.0-SNAPSHOT

  
  Use Novation Launchkey Mini with Overtone

  ---

  magicmonty 2015-03-21
• launchpad 0.1.0-SNAPSHOT

  
  Use Launchpad with Overtone

  ---

  josephwilk 2014-01-08
• launchtone 0.1.0

  
  Interface with the Launchpad S from Overtone

  ---

  lgastako 2014-01-01
• laundromat 0.1.0-SNAPSHOT

  
  FIXME: write description

  ---

  tcrayford 2014-04-20
• lava 0.0.1-SNAPSHOT

  
  Hot.

  ---

  ninjudd 2011-08-26
• lawrence 0.11.0

  
  Lawrence: LR parser generator

  ---

  cresh 2021-05-06