Skip to content
Change the repository type filter

All

    Repositories list

    • autumn4

      Public
      A Java parser combinator library written with an unmatched feature set.
      Java
      BSD 3-Clause "New" or "Revised" License
      11001Updated May 9, 2023May 9, 2023
    • whimsy

      Public
      The whimsy compiler framework (for the records, don't use this)
      Kotlin
      BSD 3-Clause "New" or "Revised" License
      0301Updated Jun 20, 2022Jun 20, 2022
    • A PEG parsing library
      BSD 3-Clause "New" or "Revised" License
      11410Updated Aug 4, 2019Aug 4, 2019
    • Assembly
      0200Updated Feb 15, 2018Feb 15, 2018
    • One kana (hiragana + katakana), every hour.
      JavaScript
      0000Updated Dec 18, 2016Dec 18, 2016
    • autumn_v2

      Public
      Second version of the Autumn parsing library (for the records, don't use this)
      Kotlin
      BSD 3-Clause "New" or "Revised" License
      0100Updated Nov 22, 2016Nov 22, 2016
    • autumn_v1

      Public
      First version of the Autumn parsing library (for the records, don't use this)
      Java
      BSD 3-Clause "New" or "Revised" License
      0100Updated Nov 22, 2016Nov 22, 2016
    • robinmap

      Public
      Hash Map implementation using Robin Hood Hashing
      Kotlin
      BSD 3-Clause "New" or "Revised" License
      0000Updated Oct 9, 2016Oct 9, 2016
    • sle2016

      Public
      Artifacts related to the SLE 2016 paper "Taming Context-Sensitive Languages with Principled Stateful Parsing"
      Kotlin
      1300Updated Sep 21, 2016Sep 21, 2016
    • violin

      Public
      A human-sized Kotlin utility library.
      Kotlin
      BSD 3-Clause "New" or "Revised" License
      2600Updated Aug 23, 2016Aug 23, 2016
    • Template for micro-benchmarking with JMH.
      Makefile
      0000Updated Sep 16, 2015Sep 16, 2015
    • caxap

      Public
      A syntactic macro system on top of the Java language. Acts as a source pre-processor.
      Java
      BSD 3-Clause "New" or "Revised" License
      11700Updated Aug 21, 2013Aug 21, 2013
    • wmov

      Public
      A command line utility to switch virtual desktops and move windows between virtual desktops. Based on wmctrl.
      Shell
      81700Updated Jan 13, 2013Jan 13, 2013