Frege interface to Android
☆14Sep 16, 2015Updated 10 years ago
Alternatives and similar repositories for FregeAndroid
Users that are interested in FregeAndroid are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A free monad interface to the canvas☆13Apr 24, 2017Updated 8 years ago
- UNMAINTAINED: Clojure plugin for Gradle's Software Model☆11Nov 10, 2017Updated 8 years ago
- Gradle plugin for compiling Frege projects☆24Dec 8, 2021Updated 4 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- A viewer app for twitter archive.☆34Mar 28, 2020Updated 5 years ago
- A set of docker images I use for development☆11Jun 22, 2017Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- A Nix evaluator written in Rust☆12Feb 9, 2020Updated 6 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago
- Voxel based game engine written in D2 programming language.☆13Jun 4, 2014Updated 11 years ago
- Just in Time Datastructures☆11Feb 21, 2017Updated 9 years ago
- Proclaim and encourage a stress-free environment in your open source project.☆12Aug 20, 2016Updated 9 years ago
- HTTP Lint☆11Jul 16, 2014Updated 11 years ago
- Simple script, which acts as "interpreter" for single C++ files☆14Apr 29, 2023Updated 2 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Local development server for now alias [domain] -r rules.json☆16Jan 2, 2018Updated 8 years ago
- (PLEASE USE https://github.com/HanKruiger/tsNET) This is here for historical purpose only.☆10Mar 10, 2019Updated 7 years ago
- Matrix builds for cabal☆16Dec 1, 2025Updated 3 months ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- A collection of Edward Kmett's packages in a single repository☆17Mar 14, 2021Updated 5 years ago
- Haskell implementation of interaction net-based lambda evaluation☆21Jun 24, 2016Updated 9 years ago
- Code samples accompanying the Essential Scalaz supplement dealing with free monoids and free monads.☆12Apr 14, 2015Updated 10 years ago
- ☆14Jan 22, 2017Updated 9 years ago
- Write user stories in markdown, list the implementation tasks for each (with an estimation range), publish an interactive estimation docu…☆10May 31, 2017Updated 8 years ago
- AI library developed in functional scala☆14Dec 28, 2015Updated 10 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Ocaml cross-compiler for Android☆45Oct 10, 2014Updated 11 years ago
- Tabris for Eclipse RAP☆55Mar 6, 2026Updated 2 weeks ago
- Quark - the editor the world doesn't need☆16Jan 8, 2024Updated 2 years ago
- Twitter API wrapper for Rust☆16Jul 25, 2019Updated 6 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Pseudo-command-line (experimental)☆16Oct 28, 2016Updated 9 years ago
- The Monero Forum Software☆19Oct 25, 2017Updated 8 years ago
- JAX-RS/Jersey アプリケーションのサンプル☆20Aug 2, 2016Updated 9 years ago
- pIpe is ifttt for websites/webservices linked to webservices/smartphones/desktops with advanced filters☆224Oct 1, 2012Updated 13 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- ☆20Mar 30, 2022Updated 3 years ago