We just want to read the scrolls! Came runner's up
☆21Feb 4, 2024Updated 2 years ago
Alternatives and similar repositories for Vesuvius-Grand-Prize-Submission
Users that are interested in Vesuvius-Grand-Prize-Submission are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- Nix Flake and NixOS module for Weblate.☆13Aug 12, 2024Updated last year
- This repository contains source codes for SoftCTC. Original paper can be found here: https://arxiv.org/abs/2212.02135☆19Mar 7, 2023Updated 3 years ago
- Export data from Invoice Plane to Invoice Ninja☆14Jan 5, 2021Updated 5 years ago
- WebRsync☆14Mar 20, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆30Apr 2, 2026Updated last week
- Configuration files for modifying the official Arduino IDE to program Trinket/Pro Trinket/Gemma/Flora on Linux.☆11Jan 24, 2019Updated 7 years ago
- NixOS Installer☆10Feb 28, 2023Updated 3 years ago
- TextSecure client package for Go☆11Oct 27, 2022Updated 3 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Mar 2, 2026Updated last month
- An Ansible connection plugin using systemd's machinectl☆16Dec 22, 2020Updated 5 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- An alternative to Wahl-O-Mat☆11May 4, 2019Updated 6 years ago
- Single-Page Apps and HTML5 pushState☆13Jun 4, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Emulating other CPU architectures in Docker made easy☆14Mar 9, 2022Updated 4 years ago
- go-imap-assassin is a command-line application that leverages the popular spamassassin and rspamd spam classifiers to remove spam in IMAP…☆10Jan 19, 2021Updated 5 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated last month
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Open Graph plugin for WordPress☆24Jan 3, 2026Updated 3 months ago
- Nix Packages collection☆14Apr 4, 2026Updated last week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- Fills the lack of an open-source PDF Editor with the capability to draw and add notes☆15Jun 17, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated last year
- Sign up management for the language courses at the KIT Sprachenzentrum.☆12Sep 4, 2025Updated 7 months ago
- A Haskell eDSL for the TON VM Assembler☆14Oct 15, 2019Updated 6 years ago
- 🗨️ Discourse integration into Nextcloud☆18Mar 26, 2026Updated 2 weeks ago
- Empowering citizens to directly and easily reach out to their Members of the European Parliament (MEPs), amplifying public voices in crit…☆12Sep 22, 2025Updated 6 months ago
- My personal website.☆11Oct 24, 2025Updated 5 months ago
- Typed effects API for OxCaml☆27Updated this week
- 🎧 A Spotify music and playlist downloader working with free Spotify accounts written in Rust☆19Sep 14, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ACPI scripts to handle Asus EeePC line of netbook. Currently supports: 700, 701, 900, 900A, 901, 904HD, S101, 1000, 1000H, 1000HD, 1000HE…☆29Jun 29, 2015Updated 10 years ago
- my NixOS configuration☆15Nov 14, 2022Updated 3 years ago
- Versatile parser for arithmetic expressions☆11Mar 13, 2026Updated 3 weeks ago
- A new script language based on Java☆11Apr 8, 2020Updated 6 years ago
- python wrapper for the emby rest api☆16Dec 20, 2021Updated 4 years ago
- This repository contains the archived code, examples, and experimental artifacts for the VLDB 2026 FlowLog paper. It includes the Rust im…☆27Feb 7, 2026Updated 2 months ago
- 🔓📡 ESP32 based smart lock for bicycles and other shared mobility devices☆18Feb 19, 2019Updated 7 years ago