frege

There are 0 repository under frege topic.

• cvogt / cbt

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

  scalabuild-toolbuild-automationbuild-systemclicommand-linecommand-line-toolcbtreproducible-buildsscala-supportfregedottysbt
  Language:Scala 489

• mchav / froid

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

  frege-programming-languageandroid-developmentfunctional-programmingfregeandroid
  Language:Frege 99

• earldouglas / sbt-frege

  Frege support for sbt

  fregefrege-replsbtsbt-plugin
  Language:Scala 53

• IntelliJ-Frege / intellij-frege

  IntelliJ IDEA plugin for Frege language

  fregeintellij-ideaintellij-plugin
  Language:Kotlin 40

• sfischer13 / awesome-frege

  :star: Useful resources for the Frege programming language

  awesomeawesome-listfregehaskelllist
  28

• vakuum / polyglot-java

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

  jvm-languagesjavaclojurefregegosugroovykotlinpythonrubyscalaxtendhootsmalltalkhaskellpolyglot
  Language:Java 27

• praalhans / DaViz

  DaViz is a tool for simulating and visualizing distributed algorithms.

  fregedistributed-algorithmssimulationvisualization
  Language:Java 10

• jvm-operators / haskell-example-operator

  Operator for Kubernetes or Openshift written in Frege (Haskell)

  haskellfregekubernetesopenshiftoperator
  Language:Frege 3

• KerlinMichel / BalloonDB

  An Object Relational Database

  fregejavaobject-relationalrelational-databases
  Language:Java 3

• rkraneis / projecteuler

  Solutions for Project Euler Problems

  clojurefregefrege-programming-languagegroovygroovy-languagejavaprojecteulerscala
  Language:Scala 0

• seinokatsuhiro / koshucode

  A notational system for relational model

  codddata-formatdata-languagedata-literacyflat-file-dbfregejudgementkoshucodenotational-systemrelationrelational-algebrarelational-latticerelational-modelrelmaptropashko
  Language:Haskell 0

• sshann / DaViz

  DaViz is a tool for simulating and visualizing distributed algorithms.

  fregejavadistributed-algorithmssimulationvizualization
  Language:Java 0

• chemacortes / frege-proof

  Prueba de uso de frege en un proyecto de scala

  scalafregeproof
  Language:Scala

• chemacortes / hello-frege.g8

  g8 template for use sbt-frege

  fregesbtscala
  Language:Scala

• christophpickl / JohnFrege

  Haskell for the JVM Workshop

  haskelllearnworkshopfregejvm
  Language:Kotlin

• iuliandumitru / frege

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

  fregehaskell
  Language:Frege

• kemitix / hello-frege-maven

  Hello Frege (World) example Maven project

  fregejavafunctional-programmingmavenfrege-programming-language
  Language:Shell

• KerlinMichel / haskell_exploration

  Just having fun with Haskell and functional programming

  fregefunctionalhaskell
  Language:Haskell

• okue / third-lang

  erlangetafregerust
  Language:Erlang

• shiroari / zeppelin-frege

  Haskell-Frege interpreter for Apache Zeppelin

  apache-zeppelinhaskellfregefunctional-programming
  Language:Java

• yurrriq / frege-cats

  Cats bindings for Frege data types

  clojurefregecategory-theoryalgebraic-data-types
  Language:Clojure

• yurrriq / fregure

  Experiments in Frege and Clojure integration

  fregeclojureexperiments
  Language:Clojure