Popular repositories Loading

1. ascii-graphs ascii-graphs Public

   Parse ASCII art diagrams of graphs (nodes and edges)

   Scala 187 38

2. mash mash Public

   An experimental object shell for Unix

   Scala 57 3

3. inquisition inquisition Public

   A Java quiz engine

   Java 7 2

4. scalariform-maven-plugin scalariform-maven-plugin Public

   Maven plugin for Scalariform, a Scala code formatter

   Scala 6 6

5. aoc-2024 aoc-2024 Public

   Solutions for Advent of Code 2024 in Lean 4

   Lean 5

6. pomodoro4eclipse pomodoro4eclipse Public

   Pomodoro timer plugin for Eclipse

   Scala 4