Heather Miller's homepage
☆12Apr 8, 2026Updated last month
Alternatives and similar repositories for wwwheathermiller
Users that are interested in wwwheathermiller are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Papers I (+ collaborators) have written or am currently writing☆20Jan 15, 2018Updated 8 years ago
- AutoBib: create beautiful bib files and html publication pages automagically☆14May 7, 2025Updated last year
- :+1: Web Design Technology Tutorials☆63Apr 25, 2016Updated 10 years ago
- ACL Rolling Review website☆11May 8, 2026Updated last week
- An open relation extraction system☆48Nov 23, 2021Updated 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.
- Time-series database for Internet of Things Analytics with a rich graph data model☆19Oct 25, 2017Updated 8 years ago
- ☆15Mar 9, 2026Updated 2 months ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆12May 17, 2022Updated 4 years ago
- Tutorial for refinement based verification☆16Jan 16, 2026Updated 4 months ago
- 2020 Collegeville Workshop on Scientific Software - Developer Productivity☆12Mar 1, 2022Updated 4 years ago
- Miller/pattern unification in Agda☆69Oct 29, 2025Updated 6 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18May 12, 2021Updated 5 years ago
- Build system, written in Python☆17Dec 20, 2014Updated 11 years ago
- forked from scfc/checkwiki/tree/pu/tools-migration☆11Dec 18, 2025Updated 5 months 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.
- computational training at Fred Hutch☆12Jun 11, 2021Updated 4 years ago
- PRINCESS source code☆11Oct 15, 2016Updated 9 years ago
- Machine Learning Projects on IOT sensor data☆10May 6, 2019Updated 7 years ago
- Temporal graph storage in rust☆13Apr 26, 2023Updated 3 years ago
- ARCHIVED Examine and Analyse Function Call Graphs of R Packages☆15May 10, 2022Updated 4 years ago
- examples for apache calcite☆13May 6, 2026Updated last week
- comses.net wagtail site☆17Apr 15, 2026Updated last month
- Neo4j Cypher compiler for building domain-specific APIs☆18May 25, 2014Updated 11 years ago
- A simple PDF transcription project for PyBossa☆19Oct 22, 2015Updated 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.
- Converter from SQL to Cypher.☆13Mar 18, 2026Updated 2 months ago
- An analysis of arXiv data, in terms of AI and Deep Learning research☆11Feb 19, 2021Updated 5 years ago
- User support data for the top 100 GitHub projects by issue volume☆15Sep 27, 2018Updated 7 years ago
- ☆20Aug 23, 2019Updated 6 years ago
- Knowledge Base stuff☆23Mar 1, 2026Updated 2 months ago
- Having issues with the IBM Blockchain Bluemix service? Let us know!☆13Aug 8, 2016Updated 9 years ago
- a tool to generate skeleton applications that mimic a real applications' parallel or distributed performance at a task level☆13Jan 11, 2017Updated 9 years ago
- Show how to use c++ worker to develop distribute applications.☆15Sep 30, 2021Updated 4 years ago
- ☆14Oct 30, 2019Updated 6 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.
- ☆11Dec 20, 2022Updated 3 years ago
- Free Books on Index Funds/Index Fund Investing and Financial Independence / Early Retirement (FIRE)☆20Jun 13, 2019Updated 6 years ago
- Donations list website (DLW): a repository for keeping track of public donations by some people I (arbitrarily) decide to track☆20Nov 10, 2025Updated 6 months ago
- Analyzing Neo4j Query Log files and more in the Neo4j Desktop☆17Jun 5, 2025Updated 11 months ago
- Real-time query spark and visualise it as graph.☆24Oct 4, 2017Updated 8 years ago
- Software Catalog Creator. A repository that given an organization URL, it will create a software catalog for browsing all repositories☆17Apr 30, 2026Updated 2 weeks ago
- GO2Sum is a deep learning based summarizer that generates human-readable summaries for GO term annotations made by protein function predi…☆16Mar 27, 2024Updated 2 years ago