sfischer13 / awesome-fregeView external linksLinks
Useful resources for the Frege programming language
☆31Sep 11, 2021Updated 4 years ago
Alternatives and similar repositories for awesome-frege
Users that are interested in awesome-frege are comparing it to the libraries listed below
Sorting:
- A curated list of awesome inspectIT documentations and resources.☆25Dec 6, 2020Updated 5 years ago
- Useful resources for the Eta programming language☆64Sep 11, 2021Updated 4 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆35Oct 31, 2021Updated 4 years ago
- A curated list of awesome {Less}☆66Aug 16, 2022Updated 3 years ago
- Benchmarks for tuning Maven performance☆12Apr 4, 2020Updated 5 years ago
- Frege code generator for Java classes☆17Sep 19, 2017Updated 8 years ago
- Frege support for IntelliJ IDEA☆14Aug 6, 2016Updated 9 years ago
- A collection of useful things regarding Actions on Google.☆105Oct 31, 2020Updated 5 years ago
- A curated list of full text search engines and stuff related with it.☆20Feb 21, 2021Updated 4 years ago
- Rapid prototyping HTTP toolkit based on Netty. Supports container-style jars, multi-hosting, REST primitives.☆19Jul 14, 2013Updated 12 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Dec 15, 2017Updated 8 years ago
- Agda libraries for the semantic web☆25Nov 14, 2018Updated 7 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Aug 11, 2023Updated 2 years ago
- Jenkins fitnesse plugin☆32Aug 9, 2024Updated last year
- The eclipse plugin for frege, codename fregIDE☆31Sep 14, 2019Updated 6 years ago
- 𝛌 Awesome Idris resources☆410Feb 20, 2020Updated 5 years ago
- Useful resources for working with RxJava☆304Jan 9, 2019Updated 7 years ago
- 2048 game clone using Yampa FRP library☆29Jul 25, 2018Updated 7 years ago
- The Powerful Python CMS☆11Nov 20, 2021Updated 4 years ago
- android app example linked with haskell library using android NDK☆32Jul 22, 2016Updated 9 years ago
- Frege REPL☆79Feb 22, 2019Updated 6 years ago
- Curated list that contain code, snippets or examples without libraries or external packages for developers.☆127Jan 5, 2019Updated 7 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- Robotics Learning Note☆11Jun 22, 2018Updated 7 years ago
- Gilead permits you to use your Persistent POJO (and especially the partially loaded ones) outside the JVM (GWT) without pain. No lazy ini…☆14Feb 9, 2022Updated 4 years ago
- Tululoo: An open source Javascript Game Maker☆13Oct 19, 2014Updated 11 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Idiomatic example of using functional programming to write a microservice☆73Jul 22, 2016Updated 9 years ago
- Python version of Kulitta. This project also contains a Python port of the core features of the Euterpea library.☆38May 9, 2019Updated 6 years ago
- Scala library for sketching, locality sensitive hashing, approximate similarity search and other things☆33Mar 14, 2017Updated 8 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆234Sep 18, 2025Updated 4 months ago
- ☆10Nov 18, 2021Updated 4 years ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/gwt-crypto☆11Mar 12, 2015Updated 10 years ago
- The Kohana PHP framework (originally from Kohana Team)☆12Dec 31, 2025Updated last month
- A utility around Git to save/restore the various working tree states as commits☆13Jul 17, 2024Updated last year
- ☆11Oct 17, 2016Updated 9 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- ☆14Jun 5, 2020Updated 5 years ago