frege

Here are 22 public repositories matching this topic...

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

mchav / froid

Star

A library for using the Frege programming language in Android development.

android functional-programming android-development frege frege-programming-language

Updated Apr 27, 2018
Frege

earldouglas / sbt-frege

Star

Frege support for sbt

sbt sbt-plugin frege frege-repl

Updated Mar 6, 2022
Scala

IntelliJ-Frege / intellij-frege

Star

IntelliJ IDEA plugin for Frege language

intellij-plugin frege intellij-idea

Updated Feb 21, 2022
Kotlin

sfischer13 / awesome-frege

Star

⭐ Useful resources for the Frege programming language

list haskell awesome awesome-list frege

Updated Sep 11, 2021

vakuum / polyglot-java

Star

A demonstration on how to integrate different JVM languages into a multi-module Maven build.

ruby kotlin python java groovy clojure haskell scala gosu smalltalk polyglot xtend frege jvm-languages hoot

Updated Mar 14, 2021
Java

praalhans / DaViz

Star

DaViz is a tool for simulating and visualizing distributed algorithms.

visualization simulation frege distributed-algorithms

Updated Mar 19, 2020
Java

KerlinMichel / BalloonDB

Star

An Object Relational Database

java relational-databases frege object-relational

Updated Apr 1, 2017
Java

jvm-operators / haskell-example-operator

Star

Operator for Kubernetes or Openshift written in Frege (Haskell)

kubernetes haskell openshift operator frege

Updated Dec 12, 2018
Frege

christophpickl / JohnFrege

Star

Haskell for the JVM Workshop

haskell workshop jvm learn frege

Updated May 24, 2018
Kotlin

rkraneis / projecteuler

Star

Solutions for Project Euler Problems

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

Updated May 9, 2017
Scala

chemacortes / frege-proof

Star

Prueba de uso de frege en un proyecto de scala

scala proof frege

Updated Aug 7, 2018
Scala

yurrriq / frege-cats

Star

Cats bindings for Frege data types

clojure algebraic-data-types category-theory frege

Updated Mar 16, 2017
Clojure

KerlinMichel / haskell_exploration

Star

Just having fun with Haskell and functional programming

haskell functional frege

Updated Feb 17, 2017
Haskell

chemacortes / hello-frege.g8

Star

g8 template for use sbt-frege

scala sbt frege

Updated Aug 15, 2019
Scala

iuliandumitru / frege

Star

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

haskell frege

Updated Jan 18, 2017
Frege

sshann / DaViz

Star

DaViz is a tool for simulating and visualizing distributed algorithms.

java simulation frege distributed-algorithms vizualization

Updated Jul 2, 2020
Java

yurrriq / fregure

Star

Experiments in Frege and Clojure integration

clojure experiments frege

Updated Mar 16, 2017
Clojure

kemitix / hello-frege-maven

Star

Hello Frege (World) example Maven project

java functional-programming maven frege frege-programming-language

Updated Oct 23, 2017
Shell

okue / third-lang

Star

rust erlang eta frege

Updated Mar 5, 2019
Erlang

seinokatsuhiro / koshucode

Star

A notational system for relational model

frege flat-file-db relational-algebra koshucode relational-model data-language notational-system relation judgement relmap data-literacy data-format codd relational-lattice tropashko

Updated May 21, 2018
Haskell

shiroari / zeppelin-frege

Star

Haskell-Frege interpreter for Apache Zeppelin

haskell functional-programming frege apache-zeppelin

Updated Dec 3, 2017
Java

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."

Learn more