Repositories list

• expression-problem

  Public
  Synthesize a number of approaches (in multiple languages) that address the Expression Problem

  Scala

  •3•6•1•0•Updated Dec 8, 2025Dec 8, 2025

• coco-delegated

  Public
  An example for delegation (instead of inheritance) with the Coco pattern

  Scala

  •0•0•0•0•Updated Sep 17, 2025Sep 17, 2025

• cogen

  Public
  Language agnostic command-driven code generator based on free monads

  Scala

  •3•0•0•0•Updated Jul 30, 2025Jul 30, 2025

• jgitserv

  Public
  Small functional wrapper to host JGit repositories

  Scala

  •

  Apache License 2.0

  •1•0•0•0•Updated May 14, 2025May 14, 2025

• templating

  Public
  Scala

  •

  Apache License 2.0

  •0•0•0•0•Updated May 14, 2025May 14, 2025

• nextgen-solitaire

  Public
  A CLS supported product line of solitaire games

  Scala

  •6•0•0•0•Updated Mar 3, 2023Mar 3, 2023

• cls-scala-ide

  Public
  An Integrated Develeopment Environment for (CL)S

  Scala

  •

  Apache License 2.0

  •0•1•0•0•Updated Jun 23, 2022Jun 23, 2022

• cls-scala

  Public
  (CL)S - Combinatory Logic Synthesizer

  Scala

  •

  Apache License 2.0

  •2•12•0•0•Updated Oct 1, 2021Oct 1, 2021

• solitaire-player

  Public
  contains application to allow user to select which (generated) variation to play

  Java

  •1•0•0•0•Updated Sep 26, 2021Sep 26, 2021

• guidemo

  Public
  A small GUI product line

  Scala

  •0•0•0•0•Updated Apr 14, 2021Apr 14, 2021

• websecbench

  Public
  Automatic Generation of OWASP-Like websecurity benchmarks

  Scala

  •

  GNU General Public License v2.0

  •0•0•0•2•Updated Feb 8, 2021Feb 8, 2021

• shapeless-feat

  Public
  Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala

  Scala

  •

  Apache License 2.0

  •1•7•0•0•Updated Nov 26, 2020Nov 26, 2020

• solitaire-downloads

  Public
  Contains generated JAR files for solitaire variations

  0•0•0•0•Updated Feb 28, 2020Feb 28, 2020

• cls-scala-presentation-play-git

  Public
  Scala

  •

  Apache License 2.0

  •0•0•0•1•Updated Jan 8, 2020Jan 8, 2020

• cls-coq

  Public
  A Coq Formalization of the (CL)S Framework

  Coq

  •0•3•1•0•Updated Dec 5, 2019Dec 5, 2019

• owasp

  Public
  OWASP Testbed generation

  Scala

  •0•0•0•0•Updated Nov 4, 2019Nov 4, 2019

• epcogen-backend-tutorial

  Public
  A series of tutorial lectures to bring light into the black magic of the new epcogen back end

  Scala

  •0•0•0•0•Updated Oct 17, 2019Oct 17, 2019

• splc19

  Public
  Work area for a potential contribution to SPLC19

  TeX

  •0•0•0•0•Updated Aug 17, 2019Aug 17, 2019

• labyrinth

  Public
  Scala

  •

  Apache License 2.0

  •1•0•0•0•Updated Jun 6, 2019Jun 6, 2019

• nosurrender

  Public
  Example of LilyPond File Manipulation using Synthesis

  Scala

  •0•0•0•0•Updated Jun 3, 2019Jun 3, 2019

• IndependentlyExtensibleSolutions

  Public
  A modern Scala port of Zenger, Odersky (2004): Independently Extensible Solutions to the Expression Problem

  Scala

  •0•0•0•0•Updated Nov 21, 2018Nov 21, 2018

• AkkaVoting

  Public
  Anonymous Voting implemented with Akka

  Java

  •0•1•0•0•Updated Oct 5, 2018Oct 5, 2018

• gadget

  Public
  Scala

  •0•0•0•0•Updated Feb 26, 2018Feb 26, 2018

• cls-scala-project.g8

  Public
  Gitter8 Templating for cls-scala projects

  Scala

  •

  Other

  •1•0•0•0•Updated Dec 18, 2017Dec 18, 2017

• combinators.github.io

  Public
  The documentation project for cls-scala

  HTML

  •0•0•0•0•Updated Dec 18, 2017Dec 18, 2017