Write the table. Ship the proof.

A small language for table-shaped business rules, and a harness for the agent that turns them into code. Gaps and contradictions are proved away first; out comes dependency-free code in twelve languag

Developer toolsRust · PythonGitHub @i2yOnlineOwner unconfirmed

Visit project GitHub

Have you tried it? One tap is enough. No sign-in needed.

Availability: Online; 30-day uptime 100%
Latest code update: Oct 14; Archived
Latest version: v0.22.1; rulec v0.22.1 · Oct 1
Contributors: 1; Forks 0
License: License information
This summarizes common license conditions. Check the repository LICENSE, per-file notices, and additional terms for actual conditions.
Information shown for this project
GitHub auto-detection · main repository license
Apache-2.0
Provided license information ↗
Repository observations do not verify all per-file terms, multiple licenses, or dependencies.
Information at the observation time · Last successful collection Oct 27, 00:53 (Korea time)
Check LICENSE in the repository ↗
Common license comparison
The listed licenses allow commercial use when their conditions are met. Check originals for multiple, custom, or unidentified licenses. Scroll the table horizontally on narrow screens.
Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original Commercial use Modification / redistribution Source obligations Key conditions
MIT ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗ Allowed Allowed No source distribution obligation Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗ Allowed Allowed No source distribution obligation Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗ Allowed Allowed No source distribution obligation BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in all copies
GPL-2.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗ Allowed Allowed under MPL terms Provide source for MPL-covered files and modifications when distributing Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗ Allowed Allowed under AGPL terms Provide corresponding source when distributing; offer remote users of modified versions free source access Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗ Allowed Allowed No source distribution obligation Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗ Allowed Allowed No source distribution obligation Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks
For GPL/LGPL/AGPL, -only permits that version only; -or-later allows that or a later version. Do not infer later-version permission from a label without a version and suffix. Source obligations apply to recipients/users under the terms and do not always require publishing to the entire internet.
GitHub license detection and display guide ↗; GitHub auto-detection · Previous observation · Collected Oct 27
Listed on nomorevibe: Oct 1; Repository created August 2026

Languages

Rust 84.4%
Python 7.5%
Lean 4.9%
HTML and others 3.2%

Updates2 in the last 30 days

All

Oct 1rulec v0.22.1GitHub release ↗
Oct 1rulec v0.22.0GitHub release ↗
Sep 28rulec v0.21.2GitHub release ↗

Write the table. Ship the proof.

Developer toolsRust · PythonGitHub @i2yOnlineOwner unconfirmed

Visit project GitHub

Have you tried it? One tap is enough. No sign-in needed.

Availability: Online; 30-day uptime 100%
Latest code update: Oct 14; Archived
Latest version: v0.22.1; rulec v0.22.1 · Oct 1
Contributors: 1; Forks 0
License: License information
This summarizes common license conditions. Check the repository LICENSE, per-file notices, and additional terms for actual conditions.
Information shown for this project
GitHub auto-detection · main repository license
Apache-2.0
Provided license information ↗
Repository observations do not verify all per-file terms, multiple licenses, or dependencies.
Information at the observation time · Last successful collection Oct 27, 00:53 (Korea time)
Check LICENSE in the repository ↗
Common license comparison
The listed licenses allow commercial use when their conditions are met. Check originals for multiple, custom, or unidentified licenses. Scroll the table horizontally on narrow screens.
Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original Commercial use Modification / redistribution Source obligations Key conditions
MIT ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗ Allowed Allowed No source distribution obligation Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗ Allowed Allowed No source distribution obligation Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗ Allowed Allowed No source distribution obligation BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in all copies
GPL-2.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗ Allowed Allowed under MPL terms Provide source for MPL-covered files and modifications when distributing Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗ Allowed Allowed under AGPL terms Provide corresponding source when distributing; offer remote users of modified versions free source access Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗ Allowed Allowed No source distribution obligation Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗ Allowed Allowed No source distribution obligation Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks
For GPL/LGPL/AGPL, -only permits that version only; -or-later allows that or a later version. Do not infer later-version permission from a label without a version and suffix. Source obligations apply to recipients/users under the terms and do not always require publishing to the entire internet.
GitHub license detection and display guide ↗; GitHub auto-detection · Previous observation · Collected Oct 27
Listed on nomorevibe: Oct 1; Repository created August 2026

Languages

Rust 84.4%
Python 7.5%
Lean 4.9%
HTML and others 3.2%

Updates2 in the last 30 days

All

Oct 1rulec v0.22.1GitHub release ↗
Oct 1rulec v0.22.0GitHub release ↗
Sep 28rulec v0.21.2GitHub release ↗

Write the table. Ship the proof.

License information

Information shown for this project

Common license comparison

Languages

Updates2 in the last 30 days

Write the table. Ship the proof.

License information

Information shown for this project

Common license comparison

Languages

Updates2 in the last 30 days

Comments

Introduction

README

README

README

Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original	Commercial use	Modification / redistribution	Source obligations	Key conditions
MIT ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗	Allowed	Allowed	No source distribution obligation	Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗	Allowed	Allowed	No source distribution obligation	Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗	Allowed	Allowed	No source distribution obligation	BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in all copies
GPL-2.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗	Allowed	Allowed under MPL terms	Provide source for MPL-covered files and modifications when distributing	Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗	Allowed	Allowed under AGPL terms	Provide corresponding source when distributing; offer remote users of modified versions free source access	Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗	Allowed	Allowed	No source distribution obligation	Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗	Allowed	Allowed	No source distribution obligation	Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks

Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original	Commercial use	Modification / redistribution	Source obligations	Key conditions
MIT ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗	Allowed	Allowed	No source distribution obligation	Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗	Allowed	Allowed	No source distribution obligation	Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗	Allowed	Allowed	No source distribution obligation	BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in all copies
GPL-2.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗	Allowed	Allowed under MPL terms	Provide source for MPL-covered files and modifications when distributing	Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗	Allowed	Allowed under AGPL terms	Provide corresponding source when distributing; offer remote users of modified versions free source access	Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗	Allowed	Allowed	No source distribution obligation	Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗	Allowed	Allowed	No source distribution obligation	Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks

Write the table. Ship the proof.

Languages

Updates2 in the last 30 days

Trending in Developer tools

Write the table. Ship the proof.

Languages

Updates2 in the last 30 days

Trending in Developer tools

Comments

Introduction

README

README

README