combinators/expression-problem

Stars
7
Rank 2,294,772 (Top 46 %)
Language
Scala
Created almost 7 years ago
Updated 3 months ago

combinators/expression-problem

combinators

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

cls-scala

(CL)S - Combinatory Logic Synthesizer

shapeless-feat

Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala

cls-coq

A Coq Formalization of the (CL)S Framework

AkkaVoting

Anonymous Voting implemented with Akka

cls-scala-ide

An Integrated Develeopment Environment for (CL)S