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:
- The π©DaBian programming language. π©"ηθΎ©"ηΌη¨θ―θ¨, ηΌη¨δΈζ―π©"ηθΎ©"ηζδΈε¦!β10Sep 28, 2023Updated 2 years ago
- this is not a working lens libraryβ11Nov 30, 2022Updated 3 years ago
- Nix Flake and NixOS module for Weblate.β12Aug 12, 2024Updated last year
- Slides for eMMC Hacking 2017β16Apr 27, 2018Updated 8 years ago
- π A collection of resources about normalization-by-evaluationβ29Jul 29, 2025Updated 9 months ago
- 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.
- Buspirate support in python3 for I2C scriptingβ11May 23, 2015Updated 10 years ago
- β14Mar 18, 2021Updated 5 years ago
- β31May 15, 2026Updated last week
- NixOS Installerβ10Feb 28, 2023Updated 3 years ago
- β11Mar 20, 2025Updated last year
- Minimalist compiler course, based on Essential of Compilationβ12Mar 2, 2026Updated 2 months ago
- UNMANTAINED Set hostname via Ansible hostname module and updates /etc/hosts with hostname and domainβ10Dec 22, 2016Updated 9 years ago
- The Functional Virtual Machine.β14Dec 18, 2024Updated last year
- Daemon process for the Douane firewallβ19Aug 28, 2018Updated 7 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.
- An alternative to Wahl-O-Matβ11May 4, 2019Updated 7 years ago
- Scripts for running docker against nftables instead of iptablesβ18Mar 21, 2025Updated last year
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 2026Updated 3 months ago
- A collection of ready to be used SCI configsβ22Mar 10, 2026Updated 2 months ago
- go-imap-assassin is a command-line application that leverages the popular spamassassin and rspamd spam classifiers to remove spam in IMAPβ¦β11Jan 19, 2021Updated 5 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rustβ18Feb 12, 2026Updated 3 months ago
- Combinators for manipulating dependently-typed predicates.β14Jul 5, 2024Updated last year
- A formalization of PCF theory in leanβ12Apr 5, 2025Updated last year
- playing with hyperfunctionsβ16May 2, 2021Updated 5 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.
- Haskell implementation of a version of cubical type theory developed for my master thesisβ16Nov 19, 2022Updated 3 years ago
- PDF document viewer Django appβ15May 7, 2026Updated 2 weeks 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
- MobileCoin payments plugin for WooCommerceβ10Jul 18, 2022Updated 3 years ago
- Session types framework with support of protocol pipelining.β16May 14, 2026Updated last week
- A Haskell eDSL for the TON VM Assemblerβ14Oct 15, 2019Updated 6 years ago
- Aszlig's Very Opinionated Nextcloud Configurationβ19Apr 25, 2022Updated 4 years ago
- π¨οΈ Discourse integration into Nextcloudβ18May 8, 2026Updated 2 weeks ago
- Paradox model finder and equinox theorem prover for first-order logic.β22Sep 20, 2025Updated 8 months 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.
- My personal website.β11Oct 24, 2025Updated 6 months ago
- Typed effects API for OxCamlβ28Updated this week
- Versatile parser for arithmetic expressionsβ11May 11, 2026Updated last week
- 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
- ππ‘ ESP32 based smart lock for bicycles and other shared mobility devicesβ18Feb 19, 2019Updated 7 years ago
- Converts 3D file formats to Minecraft schematicsβ14Mar 8, 2013Updated 13 years ago