The Glowfic Constellation
☆21Feb 27, 2026Updated last month
Alternatives and similar repositories for glowfic
Users that are interested in glowfic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small batch processing utlity☆12Jan 21, 2022Updated 4 years ago
- ☆20Sep 1, 2018Updated 7 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14Mar 12, 2026Updated 2 weeks ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆12Jul 3, 2016Updated 9 years ago
- Micromega tactics for Mathematical Components☆28Updated this week
- 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.
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Nov 14, 2022Updated 3 years ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 6 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆16Mar 19, 2026Updated last week
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 years ago
- Official repository of the Autosubst 2 project.☆25May 8, 2023Updated 2 years ago
- ☆35Jul 14, 2023Updated 2 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆24Jan 3, 2025Updated last year
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 2 years ago
- Emoji-based Regular Expressions☆10Sep 13, 2018Updated 7 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- ☆14Feb 23, 2026Updated last month
- Learning about machine learning in rust☆14Aug 1, 2016Updated 9 years ago
- Quickly switch your Visual Studio Code editor font.☆16Mar 21, 2026Updated last week
- What's the simplest Turing Machine with unknown behavior?☆13Jun 18, 2016Updated 9 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Oct 23, 2022Updated 3 years ago
- A little experiment into how Clojure with inferred paren might look like☆31Jan 6, 2015Updated 11 years ago
- Startup sticker ponzi scheme☆18Mar 18, 2021Updated 5 years ago
- An OmniOutliner to TaskPaper exporter☆14Feb 7, 2014Updated 12 years ago
- Ack-like search tool written in Rust☆18Mar 14, 2016Updated 10 years ago
- 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.
- Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics☆80Jul 31, 2024Updated last year
- Rust wrapper for STAR aligner☆19Mar 16, 2026Updated 2 weeks ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated this week
- Automatically derives `is_dog` and `is_cat` methods for `enum Pet { Dog, Cat }`.☆22Dec 26, 2020Updated 5 years ago
- Easily read homogeneous CSV data into a 2D ndarray☆19Nov 19, 2025Updated 4 months ago
- Focus on the comments you find most interesting.☆27Feb 13, 2024Updated 2 years ago
- Generate Clojure syntax from vectors☆31Aug 25, 2025Updated 7 months ago
- Maybe and Either data structures for Python☆18Aug 20, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Refer to a future commit sha1 in your commit message!☆19Apr 24, 2015Updated 10 years ago
- MNIST data set parser https://crates.io/crates/mnist☆22Nov 29, 2023Updated 2 years ago
- A utility macro for flexible slug generation that handles unicode.☆23Jan 18, 2022Updated 4 years ago
- An MMIX virtual machine written in Rust☆17Sep 14, 2020Updated 5 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆46Updated this week
- Extended Search & Ranking tool for crates.☆24May 5, 2021Updated 4 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Jul 28, 2018Updated 7 years ago