Popular repositories Loading

1. hashdiff hashdiff Public

   Hashdiff is a ruby library to to compute the smallest difference between two hashes

   Ruby 575 64

2. stoic stoic Public

   a capability-based system

   Coq 40 1

3. gestalt gestalt Public archive

   gestalt : portable and solid macros for Scala

   Scala 31 3

4. scala3-plugin-example scala3-plugin-example Public

   Scala 25 9

5. waveformjson waveformjson Public

   Forked from benalavi/waveform

   Generate waveform json from audio files -- no longer maintained

   Ruby 16 7

6. progfun2-code progfun2-code Public

   Crowd source for code used in the lectures of Functional Program Design in Scala

   Scala 15 14