Frege interface to Android
☆15Sep 16, 2015Updated 11 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 12 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 11 years ago
- A Nix evaluator written in Rust☆12Feb 9, 2020Updated 6 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Proclaim and encourage a stress-free environment in your open source project.☆12Aug 20, 2016Updated 10 years ago
- Type-level API for standard collections☆33Jun 6, 2016Updated 10 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
- HTTP Lint☆11Jul 16, 2014Updated 12 years ago
- Local development server for now alias [domain] -r rules.json☆16Jan 2, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Jan 12, 2018Updated 8 years ago
- (PLEASE USE https://github.com/HanKruiger/tsNET) This is here for historical purpose only.☆10Mar 10, 2019Updated 7 years ago
- Haskell implementation of interaction net-based lambda evaluation☆21Jun 24, 2016Updated 10 years ago
- My Agda experiments☆12Sep 26, 2019Updated 7 years ago
- AI library developed in functional scala☆14Dec 28, 2015Updated 10 years ago
- A collection of Edward Kmett's packages in a single repository☆17Mar 14, 2021Updated 5 years ago
- ☆14Jan 22, 2017Updated 9 years ago
- Simple flat file CMS☆15May 23, 2021Updated 5 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Twitter API wrapper for Rust☆16Jul 25, 2019Updated 7 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- http://rfc.zeromq.org/spec:23☆15Feb 13, 2014Updated 12 years ago
- Quark - the editor the world doesn't need☆16Jan 8, 2024Updated 2 years ago
- The Monero Forum Software☆18Oct 25, 2017Updated 8 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- Simple script, which acts as "interpreter" for single C++ files☆15Apr 29, 2023Updated 3 years ago
- Solving the Cheryl's Birthday problem -- with Prolog!☆13Apr 17, 2015Updated 11 years ago
- A Z80 processor emulator written in c++☆13Feb 13, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Safe, intrusive doubly-linked lists for Rust☆18Feb 22, 2015Updated 11 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- A definition and reference implementation for MRA in PureScript.☆18Aug 11, 2017Updated 9 years ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- Eclipse plugin for debugging reactive programming☆21Oct 30, 2018Updated 7 years ago
- Interpolate plugin for GHC 8.10.7☆13Apr 15, 2022Updated 4 years ago
- Webapplikation, som gør det muligt at finde og vise skråfotos.☆20Sep 23, 2026Updated 2 weeks ago