Skip to content
@csun-tavlab

csun-tavlab

Popular repositories Loading

  1. language_example_summer20 language_example_summer20 Public

    Java 1

  2. fractal_music fractal_music Public

    Forked from liadGolan/Armaiti

    Python

  3. LogicTGenerator LogicTGenerator Public

    Forked from shanth2600/LogicTGenerator

    A data structure generator built on top of the LogicT monad

    Haskell

  4. typelevel_programming_in_scala typelevel_programming_in_scala Public

    Scala

  5. MiMIs MiMIs Public

    Supplemental material for MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators (in ICST'20)

    Scala 1

  6. csun-tavlab.github.io csun-tavlab.github.io Public

    Webpage for our lab

    HTML

Repositories

Showing 10 of 11 repositories
  • csun-tavlab.github.io Public

    Webpage for our lab

    csun-tavlab/csun-tavlab.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 24, 2025
  • zig Public Forked from ziglang/zig

    General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

    csun-tavlab/zig’s past year of commit activity
    Zig 0 MIT 2,868 0 0 Updated Feb 23, 2025
  • iterators_examples Public
    csun-tavlab/iterators_examples’s past year of commit activity
    Scala 0 0 0 0 Updated Dec 23, 2024
  • testing_example Public

    Example going through compiler / automated testing

    csun-tavlab/testing_example’s past year of commit activity
    Python 0 0 0 0 Updated Dec 18, 2023
  • scarog Public

    Experimentation with ECS in Scala

    csun-tavlab/scarog’s past year of commit activity
    Scala 0 0 0 0 Updated Oct 28, 2023
  • parser-combinators Public

    Code going along with a discussion on parser combinators

    csun-tavlab/parser-combinators’s past year of commit activity
    Scala 0 0 0 0 Updated Oct 12, 2023
  • typelevel_programming_in_scala Public
    csun-tavlab/typelevel_programming_in_scala’s past year of commit activity
    Scala 0 0 0 0 Updated Oct 6, 2023
  • language_example_summer20 Public
    csun-tavlab/language_example_summer20’s past year of commit activity
    Java 1 0 0 1 Updated Oct 13, 2020
  • MiMIs Public

    Supplemental material for MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators (in ICST'20)

    csun-tavlab/MiMIs’s past year of commit activity
    Scala 0 GPL-2.0 1 0 0 Updated Feb 3, 2020
  • LogicTGenerator Public Forked from shanth2600/LogicTGenerator

    A data structure generator built on top of the LogicT monad

    csun-tavlab/LogicTGenerator’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 0 0 Updated Jul 16, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…