Explore @combinators Open Source projects

Combinators (@combinators)

combinators

Stars
31
Global Org. Rank 98,412 (Top 32 %)
Registered about 7 years ago
Most used languages

Scala
66.7 %

Coq 16.7 %

Java
16.7 %
Location 🇺🇸 United States
Country Total Rank 90,520
Country Ranking

Coq 142

Scala
657

cls-scala

(CL)S - Combinatory Logic Synthesizer

shapeless-feat

Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala

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