☆13Sep 7, 2026Updated last month
Alternatives and similar repositories for dafni-example-models
Users that are interested in dafni-example-models are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Risk analysis visualisation tool☆14May 12, 2026Updated 5 months ago
- Access to more than 5000 multidisciplinary datasets, from over 100 different 🇦🇺 data sources from R. (This package is not affiliated wi…☆17Nov 8, 2022Updated 3 years ago
- Simulation Modelling Integration Framework☆23Jul 6, 2026Updated 3 months ago
- An interactive story app for Android . . .☆15Dec 14, 2014Updated 11 years ago
- Port of Swordigo for Switch.☆11Jul 15, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Cycling Potential Hackathon repo☆12Sep 25, 2020Updated 6 years ago
- Command-line interface for SAOImage DS9 native (.app) OSX build☆11Oct 9, 2014Updated 12 years ago
- Extract assets from Steam LucasArts Adventure Pack to work in ScummVM☆12Jul 7, 2014Updated 12 years ago
- ☆12Mar 31, 2026Updated 7 months ago
- ☆11Jun 12, 2025Updated last year
- first commit☆14Sep 29, 2026Updated last month
- Monthly Notices of the Royal Astronomical Society bibtex style file☆15Dec 8, 2022Updated 3 years ago
- A spatial graph datastructure for python☆11Oct 5, 2026Updated 3 weeks ago
- [BMVC 2026] Official implementation of PEEK: Picking Essential frames via Efficient Knowledge distillation☆21Aug 19, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- deprecated. use geopandas.☆14Jun 17, 2022Updated 4 years ago
- Lightweight and fast IIIF annotation server compatible with Mirador 4☆13Sep 30, 2026Updated last month
- An integrated water-power-transportation model for network simulations.☆35May 13, 2026Updated 5 months ago
- because projects and ideas sometimes need a little love☆14Apr 3, 2020Updated 6 years ago
- Repo for the BBCAVS10k distribution☆10Nov 27, 2024Updated last year
- A smart polygon selection tool based on SegmentAnything 2.☆11Oct 8, 2026Updated 3 weeks ago
- Decodes Compact Disc data from microscope images of a CD's surface☆13Jan 14, 2023Updated 3 years ago
- An R interface to cyclestreets.net APIs☆27Sep 23, 2026Updated last month
- An interactive viewer for N-dimensional datasets, stored locally or in cloud object storage. Built in Rust with GPU rendering, available …☆17Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A modular command-line tool to process video collections.☆10Oct 26, 2026Updated last week
- Example of using golang-migrate + sqllite3 + go:embed☆13Jun 13, 2022Updated 4 years ago
- Free-form web data notebook - "Data management for little guys"☆26Apr 17, 2025Updated last year
- A simple GUI for ra-mp64-srm-convert☆12Oct 14, 2023Updated 3 years ago
- ☆16May 30, 2024Updated 2 years ago
- Resources on how to use the HEC at Lancaster University☆14Jan 11, 2022Updated 4 years ago
- A curated list of open transport datasets for research, teaching, and to save the world 🚲🚶🚀☆25Jul 23, 2021Updated 5 years ago
- GEM Building Taxonomy☆14May 22, 2026Updated 5 months ago
- This software package allows for: 1) The creation of an urban network model, which links transport, streets and land use in one large gr…☆13Dec 18, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- TransXChange to GTFS translator☆21Feb 17, 2022Updated 4 years ago
- Harvest and aggregate codemeta/schema.org software metadata from source repositories and service endpoints, automatically converting from…☆14Oct 5, 2026Updated 3 weeks ago
- Command Line Interface for running 🤗 Transformers Image Classification locally☆19Oct 24, 2026Updated last week
- Package to download EA liDAR data☆22Jan 30, 2024Updated 2 years ago
- The Risk Data Library Standard (RDLS) is an open data standard to make it easier to work with disaster and climate risk data. It provides…☆24Jul 13, 2026Updated 3 months ago
- Rondo is a tool for creating digital exhibits with minimal technical requirements. It is designed to support digital scholarship and digi…☆12Apr 14, 2026Updated 6 months ago
- The base production setup of BIIGLE, the image and video annotation tool☆18Oct 26, 2026Updated last week