Programmer interested in programming languages and formal methods
hashdiff. Hashdiff is a ruby library to to compute the smallest difference between two hashes
630stoic. a capability-based system
40gestalt. gestalt : portable and solid macros for Scala
31scala3-plugin-example. Scala
25waveformjson. Generate waveform json from audio files -- no longer maintained
16progfun2-code. Crowd source for code used in the lectures of Functional Program Design in Scala
15eden. [deprecated]dotty version of paradise for interfacing with scala.meta
11dotty-study. Study dotty source code using org-mode
10progfun1-code. Crowd source for code used in the lectures of Functional Programming Principles in Scala
10roles. [NO LONGER MAINTAINED]Roles is an extremely simple roles gem inspired by rolify
7scala-wrench. Wrench is a micro test framework for developing compiler plugins for Dotty
6bacala. scala package dependency manager
5godel. Notes of lecture notes for Godel and Recursivity
4bench. benchmark compilation of Dotty
3hiergraph. A simple query engine for hierarchical graphs in a Scala script
2jobsworth. Project Management, Collaboration and Time Tracking.
2HashDiffDemo. HashDiff demo app
1tiddlywiki-template. a template setting for tiddlywiki
1cloudfront-invalidator. simple gem to invalidate a list of keys in a cloudfront distribution
1oopsla23-artifact. Scala
1bench-web. A simple web interface for benchmarks
1scala-bug. demonstrates a bug of Scala standard library scala.io.Source
1capability-thesis. master thesis on capability-based type and effect systems
1lctes22-artifact. Artifact for LCTES22 paper "Implicit State Machines"
1