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 9 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.☆32Mar 28, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 12 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Simple script, which acts as "interpreter" for single C++ files☆14Apr 29, 2023Updated 3 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☆17Updated this week
- Library classes for the Twelf Proof System☆22Jun 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code samples accompanying the Essential Scalaz supplement dealing with free monoids and free monads.☆12Apr 14, 2015Updated 11 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 9 years ago
- ☆14Jan 22, 2017Updated 9 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
- A fast N-API-based Node.js addon wrapping sqlcipher and FTS5 segmenting APIs.☆20May 26, 2026Updated 2 weeks ago
- Tabris for Eclipse RAP☆56Mar 6, 2026Updated 3 months ago
- Quark - the editor the world doesn't need☆16Jan 8, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Twitter API wrapper for Rust☆16Jul 25, 2019Updated 6 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