Busy Beaver deciders backed by Coq proof
☆15Feb 28, 2026Updated last week
Alternatives and similar repositories for busycoq
Users that are interested in busycoq are comparing it to the libraries listed below
Sorting:
- Busy Beaver deciders backed by Coq proof☆61Mar 2, 2025Updated last year
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- Mathematical proofs of the bbchallenge project.☆24Sep 1, 2025Updated 6 months ago
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Mar 2, 2026Updated last week
- Johann, the lightweight and flexible scenario orchestrator☆12Oct 3, 2022Updated 3 years ago
- 🐥 Gallery Viewer for Anime Girls Holding Programming Books☆12Updated this week
- micro editor plugin that provides zig fmt integration☆15Jul 1, 2022Updated 3 years ago
- Backend map and tile generation and webserver for the Paperscape map☆44Jul 7, 2025Updated 8 months ago
- GCode DSL for Ruby. Makes manually writing GCode fun.☆11Aug 23, 2015Updated 10 years ago
- ☆10Sep 26, 2024Updated last year
- Beep the PC speaker☆11Nov 9, 2022Updated 3 years ago
- Nucleic acid sequence designer☆12Jan 29, 2026Updated last month
- ☆12Mar 18, 2020Updated 5 years ago
- Android app to be used with the 5x5 Stronglifts strength training program.☆10Mar 21, 2018Updated 7 years ago
- Homebrew formulas for installing LLM and related tools☆15Sep 6, 2023Updated 2 years ago
- A plugin for Maya that writes Hello World☆11Feb 25, 2019Updated 7 years ago
- ☆12Apr 22, 2016Updated 9 years ago
- A command routing tree for terminal applications☆12Nov 28, 2020Updated 5 years ago
- A typescript library for parsing and using the XTP Schema https://docs.xtp.dylibso.com/docs/concepts/xtp-schema/☆24Nov 15, 2025Updated 3 months ago
- Scripts to generate simulations and plots used in blog posts on genetic and genealogical ancestry gcbias.org/category/genetic-genealogy/ …☆17Dec 2, 2013Updated 12 years ago
- Slack bot to use telegram stickers in slack chats☆11Jun 3, 2025Updated 9 months ago
- A background job system using messaging system (pub/sub) pattern.☆12Jun 13, 2023Updated 2 years ago
- ☆10Sep 19, 2021Updated 4 years ago
- Ruby client for Carrot2 - the open-source document clustering server☆14Dec 27, 2025Updated 2 months ago
- ☆12Dec 16, 2025Updated 2 months ago
- Generate CloudFormation templates with OCaml☆13Dec 3, 2024Updated last year
- The (open-source part of) code to reproduce "BPPSA: Scaling Back-propagation by Parallel Scan Algorithm".☆13Jun 7, 2021Updated 4 years ago
- sf-deity is a data-recovery testing solution presented by the Cash App Salesforce Team at Block. This tool allows a Salesforce team to si…☆13May 28, 2025Updated 9 months ago
- A blender addon for creating rough models for sculpting fast☆13Mar 10, 2025Updated 11 months ago
- a simple 2D sandbox game☆10Nov 19, 2021Updated 4 years ago
- Calculates bounds on the sofa moving problem☆14Sep 12, 2019Updated 6 years ago
- ☆12Mar 19, 2025Updated 11 months ago
- Beep, as an ALSA MIDI device☆13Mar 29, 2021Updated 4 years ago
- Execute Ruby code on remote servers over SSH from ruby script.☆13Dec 4, 2025Updated 3 months ago
- Teaching☆18Updated this week
- A b-tree implementation for Mirage BLOCK devices☆15Oct 15, 2016Updated 9 years ago
- A 'free monad' library for OCaml☆21Jun 24, 2014Updated 11 years ago
- RPC interface of Tkrzw☆15Apr 15, 2023Updated 2 years ago
- Samples of HTTP traffic☆38Jan 20, 2013Updated 13 years ago