This is a tool for supporting the rapid word collection workshop and post workshop clean-up
☆22Oct 16, 2026Updated this week
Alternatives and similar repositories for TheCombine
Users that are interested in TheCombine 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 superior pairing function☆14Dec 10, 2018Updated 7 years ago
- Architecture that compiles. Kotlin DSL for UML 2.x, SysML 2 and C4 diagrams-as-code — CLI, Compose Desktop, IntelliJ & Obsidian plugins, …☆37Updated this week
- Syntax highlighting for Ogre Scripts in VSCode☆13Sep 11, 2026Updated last month
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- ☆72Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- VS Code plugin for ChoiceScript development☆12Sep 27, 2026Updated 2 weeks ago
- For hosting ATS3 and developing CodeDepot☆19Oct 2, 2026Updated 2 weeks ago
- new work for RE paper☆15Nov 6, 2025Updated 11 months ago
- Multi-arch Docker images for Idris 2☆13Jul 14, 2026Updated 3 months ago
- A Rust library for concatenating string slices into owned strings.☆17Jul 13, 2023Updated 3 years ago
- LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against …☆49Updated this week
- Rust implementation of Cucumber Expressions.☆14Jun 19, 2026Updated 3 months ago
- Hackerrank challenges solved with the Rust Programming Language.☆12Dec 21, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DeepSeek V4 Pro二创鲸鱼娘·大肥鱼 透明桌面宠物 | 三视图行走/拖拽/喂食/互动/思维链心声☆207Aug 11, 2026Updated 2 months ago
- To Debug(Or Cheat) Twine{SugarCube} Variables☆14May 23, 2026Updated 4 months ago
- Elkhound is a parser generator capable of emitting a GLR parser in OCaml☆17Dec 21, 2025Updated 9 months ago
- Jjodel is a cloud-native, low-code, web-based modeling platform designed to simplify the creation and evolution of domain-specific langua…☆17Updated this week
- Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.☆10Sep 11, 2026Updated last month
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 9 months ago
- OpenGraph image generation for crates.io packages☆17Sep 22, 2026Updated 3 weeks ago
- Source code for the more informative console mod for Skyrim SSE☆11Sep 21, 2024Updated 2 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- ☆16Feb 4, 2026Updated 8 months ago
- ☆11May 22, 2026Updated 4 months ago
- Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)☆110Updated this week
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- A DSL for Domain-Driven Design☆18Feb 1, 2026Updated 8 months ago
- Burning away Git complexity☆19Mar 2, 2025Updated last year
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- Template Engine — converts TemplateMark + JSON data to AgreementMark☆21Updated this week
- 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.
- ☆17Jan 6, 2026Updated 9 months ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Aug 19, 2012Updated 14 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Interactive, web-based visual math assistant☆15Apr 2, 2026Updated 6 months ago
- ☆15Jun 11, 2025Updated last year
- A dataflow engine, written in Rust, that is fully async, dynamic, and reactive.☆22Oct 1, 2026Updated 2 weeks ago
- Idris libraries for hybrid classical-quantum programming☆15Feb 5, 2023Updated 3 years ago