fregeTutorial
Frege tutorial guide
Provides code examples and setup guides for learning Frege
Code examples for the frege tutorial
9 stars
2 watching
2 forks
Language: Frege
last commit: over 4 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| dierk/frepl-gui | A graphical interface for the Frege REPL, allowing users to interact with the language in an intuitive way. | 25 |
| dierk/real_world_frege | A collection of examples in the Frege programming language that demonstrate Haskell concepts from a book on Real World Haskell | 70 |
| dierk/frege-idea-plugin | Support for Frege programming language in IntelliJ IDEA plugin | 22 |
 mperry/frege-gradle-example | An example project demonstrating how to compile and run Frege code with Gradle | 2 |
 y-taka-23/learn-you-a-frege | A Frege implementation of Haskell examples in a tutorial format | 51 |
| dierk/fregechat | A minimalist chat application built with Frege as the programming language. | 1 |
 frege/frege-gradle-plugin | A Gradle plugin for compiling and managing Frege projects | 25 |
| frege/frege | A Haskell implementation for the JVM with a strong focus on functional programming and type inference. | 3,640 |
 belse-de/zig-tut | A collection of tutorials and projects to learn the Zig programming language | 18 |
| frege/fregefx | Bindings and utilities to integrate Frege with JavaFX for building user interfaces. | 33 |
| frege/frege-repl | A command-line REPL (Read-Eval-Print Loop) for executing Frege programming language code snippets | 78 |
| frege/frege-lein-template | Creates a skeleton project template with a choice of main language implementation (Clojure or Frege) for mixed-language Clojure/Frege projects. | 9 |
| frege/frege-interpreter | An interpreter and scripting engine for a functional programming language | 15 |
| frege/frege-lein-plugin | A plugin that enables Leiningen to compile Frege code. | 33 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |