Skip to content
Change the repository type filter

All

    Repositories list

    • Synthesize a number of approaches (in multiple languages) that address the Expression Problem
      Scala
      1610Updated Sep 19, 2024Sep 19, 2024
    • A CLS supported product line of solitaire games
      Scala
      6000Updated Mar 3, 2023Mar 3, 2023
    • An Integrated Develeopment Environment for (CL)S
      Scala
      Apache License 2.0
      0100Updated Jun 23, 2022Jun 23, 2022
    • cls-scala

      Public
      (CL)S - Combinatory Logic Synthesizer
      Scala
      Apache License 2.0
      21200Updated Oct 1, 2021Oct 1, 2021
    • contains application to allow user to select which (generated) variation to play
      Java
      1000Updated Sep 26, 2021Sep 26, 2021
    • guidemo

      Public
      A small GUI product line
      Scala
      0000Updated Apr 14, 2021Apr 14, 2021
    • Automatic Generation of OWASP-Like websecurity benchmarks
      Scala
      GNU General Public License v2.0
      0002Updated Feb 8, 2021Feb 8, 2021
    • Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala
      Scala
      Apache License 2.0
      1700Updated Nov 26, 2020Nov 26, 2020
    • jgitserv

      Public
      Small functional wrapper to host JGit repositories
      Scala
      Apache License 2.0
      1000Updated Apr 2, 2020Apr 2, 2020
    • Contains generated JAR files for solitaire variations
      0000Updated Feb 28, 2020Feb 28, 2020
    • Scala
      Apache License 2.0
      0001Updated Jan 8, 2020Jan 8, 2020
    • cls-coq

      Public
      A Coq Formalization of the (CL)S Framework
      Coq
      0310Updated Dec 5, 2019Dec 5, 2019
    • owasp

      Public
      OWASP Testbed generation
      Scala
      0000Updated Nov 4, 2019Nov 4, 2019
    • A series of tutorial lectures to bring light into the black magic of the new epcogen back end
      Scala
      0000Updated Oct 17, 2019Oct 17, 2019
    • Scala
      Apache License 2.0
      0000Updated Sep 21, 2019Sep 21, 2019
    • splc19

      Public
      Work area for a potential contribution to SPLC19
      TeX
      0000Updated Aug 17, 2019Aug 17, 2019
    • labyrinth

      Public
      Scala
      Apache License 2.0
      1000Updated Jun 6, 2019Jun 6, 2019
    • Example of LilyPond File Manipulation using Synthesis
      Scala
      0000Updated Jun 3, 2019Jun 3, 2019
    • A modern Scala port of Zenger, Odersky (2004): Independently Extensible Solutions to the Expression Problem
      Scala
      0000Updated Nov 21, 2018Nov 21, 2018
    • Anonymous Voting implemented with Akka
      Java
      0100Updated Oct 5, 2018Oct 5, 2018
    • gadget

      Public
      Scala
      0000Updated Feb 26, 2018Feb 26, 2018
    • Gitter8 Templating for cls-scala projects
      Scala
      Other
      1000Updated Dec 18, 2017Dec 18, 2017
    • The documentation project for cls-scala
      HTML
      0000Updated Dec 18, 2017Dec 18, 2017