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
Sorting:
- A free monad interface to the canvas☆13Apr 24, 2017Updated 8 years ago
- A viewer app for twitter archive.☆33Mar 28, 2020Updated 5 years ago
- Extend JUnit 5 with a more flexible fixture style.☆10May 27, 2022Updated 3 years ago
- A small language that compiles to OpenAPI☆10Feb 3, 2025Updated last year
- Just in Time Datastructures☆11Feb 21, 2017Updated 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
- pIpe is ifttt for websites/webservices linked to webservices/smartphones/desktops with advanced filters☆224Oct 1, 2012Updated 13 years ago
- Chappie Brain / Consciousness in HTML, CSS & JS (React, Angular 1, Angular 2, Canvas "flavors")☆10Nov 27, 2021Updated 4 years ago
- ☆20Mar 30, 2022Updated 3 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- Auto-generated lenses for Java beans.☆14Dec 15, 2012Updated 13 years ago
- A simple utility for creating and modifying spannables in Android☆11Jan 4, 2025Updated last year
- (PLEASE USE https://github.com/HanKruiger/tsNET) This is here for historical purpose only.☆10Mar 10, 2019Updated 6 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Websockets wrapper for matrix.org homeservers☆14Sep 9, 2018Updated 7 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
- A fast erlang gRPC client -- with fast http/2 and long connection☆11Dec 20, 2016Updated 9 years ago
- Code samples accompanying the Essential Scalaz supplement dealing with free monoids and free monads.☆12Apr 14, 2015Updated 10 years ago
- Lightweight Redis-based feature-flagging for Ruby apps☆42Sep 21, 2022Updated 3 years ago
- ☆12Apr 30, 2023Updated 2 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
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago
- Matrix builds for cabal☆16Dec 1, 2025Updated 3 months ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- UNMAINTAINED: Clojure plugin for Gradle's Software Model☆11Nov 10, 2017Updated 8 years ago
- Deprecated, to be deleted☆11Mar 4, 2018Updated 7 years ago
- The Optimized Implementation of "Vortex: Extreme-Performance Memory Abstractions for Data-Intensive Streaming Applications".☆13Feb 18, 2022Updated 4 years ago
- Twitter API wrapper for Rust☆16Jul 25, 2019Updated 6 years ago
- keyed functors☆23Jan 10, 2026Updated last month
- Asynchronous DNS query pipeline for Python☆10May 4, 2015Updated 10 years ago
- Basho's Erlang/OTP fork. See the README file below.☆15Aug 23, 2018Updated 7 years ago
- Utilities to write multilingual clojure programs☆13Apr 20, 2016Updated 9 years ago
- JAX-RS/Jersey アプリケーションのサンプル☆20Aug 2, 2016Updated 9 years ago
- Dynamic cluster formation using Libcluster + K8s☆14Feb 21, 2019Updated 7 years ago
- OrientDB Database Interface for Erlang☆11Mar 7, 2014Updated 11 years ago