All projects

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

• 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
• lazy-bucket 0.1.0-SNAPSHOT

  
  TODO

  ---

  prene 2014-04-30
• lazy-chans 0.1.0-SNAPSHOT

  
  turn one or more go blocks into a lazy-seq

  ---

  zeroem 2013-08-01
• lazymap 2.2.0

  
  Lazy map of clojure, by Meikel Brandmeyer

  ---

  renewdoit 2010-05-29
• lazy-map 0.1.0-SNAPSHOT

  
  Lazy Map

  ---

  steerio 2014-01-11
• lazymapcat 0.1.0-SNAPSHOT

  
  lazymapcat: lazier than your standard mapcat

  ---

  lsb 2014-12-08
• lazypp/lein-template 0.1.0

  
  The PowerPoint/Keynote of the Lazy Pragmatic Presenter

  ---

  luchiniatwork 2017-07-08
• lazy-server 0.2.0-SNAPSHOT

  
  FIXME: write description

  ---

  alexreedhill 2014-07-18
• lazyspec 0.1.0-SNAPSHOT

  
  Lazyspec is an extension for Lazytest to write BDD tests with the Given When Then template.

  ---

  maxweber 2011-09-17
• lazy-table 0.2.0

  
  Lazily render reagent tables and lists

  ---

  nperic 2018-07-24
• lazytest 1.2.3

  
  Lazytest framework for Clojure

  ---

  myguidingstar 2012-11-10