Heather Miller's homepage
☆12Apr 8, 2026Updated 2 months ago
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
- Unix terminal drain and formatter for slog-rs☆19Aug 21, 2025Updated 9 months ago
- ACL Rolling Review website☆11Updated this week
- A template for wrapping any Java builder (eg., Maven Takari builder) and bring it into Bazel.☆10May 1, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An open relation extraction system☆48Nov 23, 2021Updated 4 years ago
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 6 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- ☆10Jan 7, 2019Updated 7 years ago
- BlindDB: an Encrypted, Distributed, and Searchable Key-value Store☆10Oct 10, 2017Updated 8 years ago
- ☆15Mar 9, 2026Updated 2 months ago
- research software encyclopedia database☆14May 31, 2026Updated last week
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆12May 17, 2022Updated 4 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.
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 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 7 months ago
- ☆11Jul 6, 2023Updated 2 years ago
- Build system, written in Python☆17Dec 20, 2014Updated 11 years ago
- forked from scfc/checkwiki/tree/pu/tools-migration☆11Updated this week
- computational training at Fred Hutch☆12Jun 11, 2021Updated 4 years ago
- PRINCESS source code☆11Oct 15, 2016Updated 9 years 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.
- Research and documentation on package management☆24Sep 2, 2021Updated 4 years ago
- The Hybrid Graph Datastore/Computational Engine☆16Aug 26, 2025Updated 9 months ago
- Machine Learning Projects on IOT sensor data☆10May 6, 2019Updated 7 years ago
- AsyncRead/AsyncWrite stdin/stdout for legacy pre-0.1 Tokio☆18Oct 31, 2018Updated 7 years ago
- Temporal graph storage in rust☆13Apr 26, 2023Updated 3 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12May 28, 2026Updated last week
- The specification of the LDBC Financial Benchmark☆19Jan 9, 2026Updated 5 months ago
- Show how to use c++ worker to develop distribute applications.☆15Sep 30, 2021Updated 4 years ago
- Docker images for the IBM Blockchain Platform☆16Mar 5, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- State-based Network AttacK Explorer (SNAKE) code☆14Sep 6, 2019Updated 6 years ago
- ☆11Dec 20, 2022Updated 3 years ago
- ☆14Oct 30, 2019Updated 6 years ago
- Enabling research software engineers to add citability in open source software without hassle.☆10Feb 27, 2022Updated 4 years ago
- ROLL: Fast In-Memory Generation of Gigantic Scale-free Networks☆11Apr 11, 2017Updated 9 years ago
- Real-time query spark and visualise it as graph.☆24Oct 4, 2017Updated 8 years 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