Vesuvius Challenge: code for the second-place winner of the Grand Prize
☆34Feb 5, 2024Updated 2 years ago
Alternatives and similar repositories for vesuvius-grand-prize
Users that are interested in vesuvius-grand-prize are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- We just want to read the scrolls! Came runner's up☆21Feb 4, 2024Updated 2 years ago
- Vesuvius Challenge Ink Crackle Labeling Tool for Scroll Segmentations☆11Nov 25, 2024Updated last year
- ☆19Oct 5, 2023Updated 2 years ago
- ☆12Mar 27, 2024Updated 2 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Personal configuration files. Currently mirrored from a private repository.☆14Updated this week
- Um hack do OpenJDK que suporta Java em Português☆18Sep 9, 2021Updated 4 years ago
- Idris Version Manager☆16Feb 23, 2025Updated last year
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Excel to Json online converter made with Python/Flask and React.js☆12Jan 4, 2023Updated 3 years ago
- ☆15Jul 6, 2026Updated last month
- TEXT://PROTOCOL CLIENT☆17Jul 9, 2021Updated 5 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Feb 2, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Golang mail transfer agent☆13Feb 3, 2023Updated 3 years ago
- TEXT://PROTOCOL SERVER☆13Jun 17, 2021Updated 5 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Website/code for daily code sketches☆12Aug 4, 2025Updated last year
- AVR Simulator to run Atmel code on desktop pc☆14Oct 2, 2017Updated 8 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- Visualization for collatz sequences based on Langton's ant☆17Jul 12, 2025Updated last year
- ☆12Dec 1, 2021Updated 4 years ago
- wecs (wckd-ecs) is a simple ECS library suitable for general use.☆10Sep 12, 2024Updated last year
- 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.
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- Treinamento voltado para arquitetos de software, líderes de equipe, desenvolvedores em geral...☆20Oct 14, 2017Updated 8 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated 2 years ago
- ☆17Jan 6, 2026Updated 7 months ago
- Hex is a keyboard-driven, grid-based drawing tool.☆20Jun 18, 2020Updated 6 years ago
- Atiny is a simple compiler for a ML like language☆11Aug 16, 2023Updated 2 years ago
- ☆22Apr 12, 2024Updated 2 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 5 months ago
- A code based on the Method of Characteristics to solve the supersonic flow inside a nozzle☆14Sep 24, 2019Updated 6 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.
- ☆31May 9, 2024Updated 2 years ago
- Supersonic Impulse Turbine Blade Design☆13Jun 26, 2018Updated 8 years ago
- Fortune for Node.js☆16Apr 19, 2020Updated 6 years ago
- VSCode Extension: Simulates typing for use in presentations or live video recordings. Typing from file or clipboard, with auto typing mod…☆42Feb 11, 2024Updated 2 years ago
- 🐒 The Blow Your Mind Conference☆15Updated this week
- txt.t0.vc - command line pastebin☆20Jun 16, 2026Updated last month
- a standard library made in x86 assembly, including sockets, SHA1, base64 and more!☆17Jul 9, 2026Updated last month