#

frege

Here are 5 public repositories matching this topic...

chemacortes / frege-proof

Prueba de uso de frege en un proyecto de scala

scala proof frege

Updated Aug 7, 2018
Scala

rkraneis / projecteuler

Solutions for Project Euler Problems

java groovy clojure scala groovy-language projecteuler frege frege-programming-language

Updated May 9, 2017
Scala

chemacortes / hello-frege.g8

g8 template for use sbt-frege

scala sbt frege

Updated Aug 15, 2019
Scala

earldouglas / sbt-frege

Frege support for sbt

sbt sbt-plugin frege frege-repl

Updated Nov 2, 2024
Scala

cvogt / cbt

CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala

cli scala sbt command-line build-automation build-tool build-system command-line-tool dotty frege cbt reproducible-builds scala-support

Updated May 28, 2018
Scala

Improve this page

Add a description, image, and links to the frege topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the frege topic, visit your repo's landing page and select "manage topics."