A platform for software engineering research
☆24Jan 13, 2014Updated 12 years ago
Alternatives and similar repositories for Alitheia-Core
Users that are interested in Alitheia-Core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Local server storage media played by mediaplayer android.☆12Sep 10, 2013Updated 13 years ago
- Django-Rest-Framework 教程☆11Feb 16, 2016Updated 10 years ago
- This repo includes our code for evaluating and improving transferability in domain generalization (NeurIPS 2021)☆13Nov 1, 2022Updated 3 years ago
- Framework that implements code offloading with annotations based on Android☆11Sep 24, 2016Updated 9 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- Ontology for Biobanking☆16Jun 11, 2025Updated last year
- A modern clone of the classic Mac game Escape Velocity Nova☆12May 29, 2017Updated 9 years ago
- This is the code for the Pluto framework to assess data exposure by an Android app to an advertising library. The framework was presented…☆13Jan 23, 2018Updated 8 years ago
- NodeJS implementation of Uber API☆12May 22, 2015Updated 11 years ago
- Dart library to use for Google OAuth2 authentication / Client-side flow☆35Apr 29, 2016Updated 10 years ago
- JavaScript solutions to advent of code challenges☆14Dec 26, 2017Updated 8 years ago
- Daggerfall engine implemented in C#.☆10Jun 11, 2013Updated 13 years ago
- Graphical Model for Recommender Systems☆20Jul 23, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Dec 4, 2020Updated 5 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆12Mar 12, 2025Updated last year
- A short document to help people include LaTeX in Github. This was the final project for the "Learning Space and Digital Pedagogy" badge p…☆14Feb 15, 2021Updated 5 years ago
- A small library for getting geometry out of an svg file☆15Mar 17, 2015Updated 11 years ago
- ☆33May 30, 2019Updated 7 years ago
- 🏭 🛩️ Ethereum DApp to manage an aircraft manufacturing supply chain☆10Jan 22, 2026Updated 7 months ago
- ☆16Dec 12, 2014Updated 11 years ago
- Ontop Framework☆21Jun 9, 2018Updated 8 years ago
- Polymetric views of class metrics in the tradition of CodeCrawler reimplemented with D3.js.☆17Apr 29, 2014Updated 12 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.
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- A game of hacking heroes and villains☆15Aug 20, 2015Updated 11 years ago
- An example of bioinformatics and bigdata tools can playing nicely together☆14May 17, 2016Updated 10 years ago
- An open source RuneScape Classic client ported to C# using XNA for rendering, this is a direct java to c# conversion, with no major chang…☆15Aug 8, 2014Updated 12 years ago
- Adaptive computational oflloading using mobile cloud computing.☆13Apr 30, 2016Updated 10 years ago
- Data and code for the paper "Future is not One-dimensional: Complex Event Schema Induction via Graph Modeling".☆30Apr 24, 2021Updated 5 years ago
- Heterogeneity-incorporating Workflow ApplicationMaster for YARN☆26Oct 31, 2017Updated 8 years ago
- Citadel: Enterprise Search☆15May 2, 2023Updated 3 years ago
- Git mirror of Bioconductor SRAdb package☆24Feb 20, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- DEPRECATED☆17May 13, 2016Updated 10 years ago
- jQuery-based library for creating DOM elements quickly and easily☆10Apr 2, 2012Updated 14 years ago
- James, the Discord Bot for Endless Sky.☆12Apr 9, 2025Updated last year
- Windows Notepad for Mac.☆10Jul 6, 2018Updated 8 years ago
- Tool for creating svg of contoured base64-encoded image☆12Dec 12, 2022Updated 3 years ago
- Atmel MARC4 disassembler☆17Mar 29, 2013Updated 13 years ago
- ☆18Dec 14, 2016Updated 9 years ago