frege
There are 25 repositories under frege topic.
cvogt/cbt
CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala
mchav/froid
A library for using the Frege programming language in Android development.
earldouglas/sbt-frege
Frege support for sbt
IntelliJ-Frege/intellij-frege
IntelliJ IDEA plugin for Frege language
sfischer13/awesome-frege
:star: Useful resources for the Frege programming language
vakuum/polyglot-java
A demonstration on how to integrate different JVM languages into a multi-module Maven build.
praalhans/DaViz
DaViz is a tool for simulating and visualizing distributed algorithms.
jvm-operators/haskell-example-operator
Operator for Kubernetes or Openshift written in Frege (Haskell)
KerlinMichel/BalloonDB
An Object Relational Database
seanpm2001/Learn-Frege
📚️ A repository for showcasing my knowledge of the Frege programming language, and continuing to learn the language.
seanpm2001/SNU_2D_ProgrammingTools_IDE_Frege
⌨️ The Frege programming language IDE submodule for SNU Programming Tools (2D Mode)
rkraneis/projecteuler
Solutions for Project Euler Problems
seinokatsuhiro/koshucode
A notational system for relational model
sshann/DaViz
DaViz is a tool for simulating and visualizing distributed algorithms.
bearddan2000/frege-cli-hello-world
A POC for frege programming language.
chemacortes/frege-proof
Prueba de uso de frege en un proyecto de scala
chemacortes/hello-frege.g8
g8 template for use sbt-frege
christophpickl/JohnFrege
Haskell for the JVM Workshop
iuliandumitru/frege
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
kemitix/hello-frege-maven
Hello Frege (World) example Maven project
KerlinMichel/haskell_exploration
Just having fun with Haskell and functional programming
shiroari/zeppelin-frege
Haskell-Frege interpreter for Apache Zeppelin
yurrriq/frege-cats
Cats bindings for Frege data types
yurrriq/fregure
Experiments in Frege and Clojure integration