claudiosa

Independent Researcher

Independent ResearcherJoinville - SC - Brazil

Pinned Repositories

icewm
A window manager designed for speed, usability, and consistency
Language:C++598 36 59699
CCS
Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
Language:TeX37 7 017
clingo-lessons
Slowly learning clingo, and writing notebooks that walk you through logic programs (under development)
Language:Jupyter Notebook0 0 00
linux_variety
Language:PLSQL5 1 00
livro_modelos_PR
An experimental book on models solved by Constraint Programming (in PORTUGUESE)
Language:TeX1 2 12
picat_slides
Slides do Curso de PICAT
Language:TeX0 1 01
pulp
A python Linear Programming API
Language:Python0 0 00
v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io
Language:V0 0 00
v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Language:V35.9k 476 8.9k2.2k

claudiosa/CCS
Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
Language:TeX37 7 017
claudiosa/linux_variety
Language:PLSQL5 1 00
claudiosa/livro_modelos_PR
An experimental book on models solved by Constraint Programming (in PORTUGUESE)
Language:TeX1 2 12
claudiosa/clingo-lessons
Slowly learning clingo, and writing notebooks that walk you through logic programs (under development)
Language:Jupyter Notebook0 0 00
claudiosa/picat_slides
Slides do Curso de PICAT
Language:TeX0 1 01
claudiosa/pulp
A python Linear Programming API
Language:Python0 0 00
claudiosa/v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io
Language:V0 0 00