Skip to content
Change the repository type filter

All

    Repositories list

    • Webpage for our lab
      HTML
      0000Updated Mar 3, 2026Mar 3, 2026
    • zig

      Public
      General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
      Zig
      MIT License
      3.1k000Updated Feb 23, 2025Feb 23, 2025
    • Scala
      0000Updated Dec 23, 2024Dec 23, 2024
    • Example going through compiler / automated testing
      Python
      0000Updated Dec 18, 2023Dec 18, 2023
    • scarog

      Public
      Experimentation with ECS in Scala
      Scala
      0000Updated Oct 28, 2023Oct 28, 2023
    • Code going along with a discussion on parser combinators
      Scala
      0000Updated Oct 12, 2023Oct 12, 2023
    • Scala
      0000Updated Oct 6, 2023Oct 6, 2023
    • Java
      0101Updated Oct 13, 2020Oct 13, 2020
    • MiMIs

      Public
      Supplemental material for MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators (in ICST'20)
      Scala
      GNU General Public License v2.0
      1000Updated Feb 3, 2020Feb 3, 2020
    • A data structure generator built on top of the LogicT monad
      Haskell
      BSD 3-Clause "New" or "Revised" License
      1000Updated Jul 16, 2019Jul 16, 2019
    • Python
      MIT License
      1000Updated Mar 9, 2019Mar 9, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.