Nomos — a programming language for legal reasoning. Typed rules with jurisdiction and validity dates, LLM-powered fact extraction, defeasible logic, proof trees that cite statutes and cases. Apache-2.0. Experimental.
DISCONTINUED 🤖 - Benvingut al millor bot de Discord en Català! :D
Llibre de programació de sistemes encastats
A benchmark of speech recognition solutions for the Catalan language
An online virtual assistant in Catalan based on Mycroft. Visit https://ona.assistent.cat to try it out
Des del punt exacte on seràs: quants segons de totalitat veuràs de debò, a quina hora i cap a on mirar. Càlcul topocèntric, horitzó real del terreny i realitat augmentada ancorada al paisatge. Eclipsis del 2026, 2027 i 2028.
Aquest repositori conte guies pas a pas per la creacio del teu propi servidor casero.
A module for explicability from the trace of a catala program
Exemples pel curs de sistemes encastats.
📜 33 Conceptes que tot desenvolupador JavaScript hauria de saber.
BondiaLlibres és una plataforma oberta i gratuïta dedicada a la publicació de còmics, il·lustracions i llibres d'autors emergents. Sense registres ni algorismes: accés directe a lectura en PDF. Explora catàlegs únics, descobreix noves històries i col·labora amb la comunitat creativa.
188 DIFC/ADGM/SICC judgments coded under a two-grader-type protocol (39 LLM + 149 regex; provenance per entry). 12 Catala rule modules, 7 case traces, pre-registered with H1–H8 stop rules. External correlate ρ=+0.32 vs appeal status. Reproducible via Docker.
Training and dataset used for the catalan spacy model
Web prototype for automated generation of individual explanations from Catala programs
Procès per generar una pàgina web fent ús de Luasmith a partir de documents escrits en Markdown
Un bot de discord
One regulation, formalized twice: Catala 1.2 and Arxo Law on the same 65 reference cases, 240 random cases and 20 mutations — the artifact of 'Law as Function, Law as Data'
Llenguatge de programació en Català
To associate your repository with the catala topic, visit your repo's landing page and select "manage topics."