combinators/shapeless-feat

Stars
7
Rank 2,294,772 (Top 46 %)
Language
Scala
License
Apache License 2.0
Created about 9 years ago
Updated almost 4 years ago

combinators/shapeless-feat

combinators

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

Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala

cls-scala

(CL)S - Combinatory Logic Synthesizer

expression-problem

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

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