Start of a CM12 port for the Fairphone 2
☆12Jan 12, 2016Updated 10 years ago
Alternatives and similar repositories for cm12-device-fairphone-fp2
Users that are interested in cm12-device-fairphone-fp2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 11 months ago
- KWin fork which contains a new tiling script instead of the old tiling code. The new code is in the "tiling-script" branch.☆20Aug 16, 2012Updated 13 years ago
- Docker image for Apache Jena's Fuseki SPARQL endpoint☆15Jan 14, 2025Updated last year
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- A friendly language for mappings to RDF☆11Nov 21, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆11Feb 25, 2020Updated 6 years ago
- SRA python tools☆11Jun 9, 2021Updated 4 years ago
- Libsecret proof of concept for BitWarden.☆10Jan 23, 2019Updated 7 years ago
- Location-based techno with Sonic Pi and gpsd☆14Jun 12, 2024Updated last year
- BItsliced Genomic Signature Index - Efficient indexing and search in very large collections of WGS data☆10Jun 13, 2023Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- Rogue client for nextbike☆23Jun 29, 2023Updated 2 years ago
- ☆17Jan 4, 2021Updated 5 years ago
- PDBe Programming Interfaces information☆14Jul 23, 2018Updated 7 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 collection of ready-to-use messaging applications with fcrepo-camel☆12May 20, 2026Updated last week
- Code for the MSB publication: Exploring amino acid functions and positional subtypes in a deep mutational landscape☆10Jun 11, 2022Updated 3 years ago
- ☆19Jul 23, 2017Updated 8 years ago
- Ansible role to manage jenkins slave installation☆19Nov 26, 2024Updated last year
- An implementation of the ASPIC+ framework for structured argumentation.☆13May 23, 2026Updated last week
- 🧮 🔢 Generate multi-sample k-mer count matrix from WGS☆11Jan 17, 2026Updated 4 months ago
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Dec 5, 2017Updated 8 years ago
- ☆13Updated this week
- NCBI Pathogen Detection Portal toolkit☆11Sep 6, 2023Updated 2 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.
- Modelling files related to the journal article titled "Rapid development and deployment of high-volume vaccines for pandemic response" pu…☆14Jun 1, 2020Updated 5 years ago
- Introduction to Python Programming☆11Mar 31, 2020Updated 6 years ago
- A set of tools for rotating, cropping, and binding the images from a scanned book into a PDF.☆20Aug 15, 2018Updated 7 years ago
- Augment your existing markdown.vim with support for MultiMarkdown, CriticMarkup, etc.☆18Dec 14, 2014Updated 11 years ago
- A tool to generate an AppImage of a website using Nativefier.☆18Jun 25, 2024Updated last year
- Raspir, the rare species identifier☆11Oct 19, 2023Updated 2 years ago
- Badge for Labortage 2021☆12Dec 27, 2023Updated 2 years ago
- VESPA: Very large-scale Evolutionary and Selective Pressure Analyses☆15Mar 18, 2022Updated 4 years ago
- Library for detecting tracking data transmissions from web or app traffic in HAR format.☆11May 12, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- kaamer - protein identification based on amino acid kmers☆12Mar 7, 2023Updated 3 years ago
- An in-development framework for managing data migrations from previous versions to 4.x.☆14May 21, 2026Updated last week
- Welcome to Physcraper’s repository! Automatic gene tree updating using the Open Tree of Life.☆13May 13, 2022Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Perl scripts for working with the GFF format☆16Aug 24, 2011Updated 14 years ago
- Ethereum Remote☆14Feb 2, 2016Updated 10 years ago
- Python toolbox to load, parse and process Official Journals of the European Union (EU).☆23May 3, 2024Updated 2 years ago