Pinned Loading

1. every-day-calendar every-day-calendar Public

   Obsidian plugin to create calendars inspired by Simone Giertz's Every Day Calendar

   CSS 3

2. GeodeLoopless GeodeLoopless Public

   Geode Loopless (GeodeL) is a Domain Specific Language that aims at facilitating the writing and analysis of Primitive Recursive Functions and Sets.

   Scala 1

3. Toi-Interpreter Toi-Interpreter Public

   An interpreter for the Toi language written in scala, with some extra syntactic sugar, like tuples and lists

   Scala

4. scala/scala3 scala/scala3 Public

   The Scala 3 compiler, also known as Dotty.

   Scala 6k 1.1k

5. scala/improvement-proposals scala/improvement-proposals Public

   Scala Improvement Proposals

   53 30