Pinned Repositories
icewm
A window manager designed for speed, usability, and consistency
CCS
Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
clingo-lessons
Slowly learning clingo, and writing notebooks that walk you through logic programs (under development)
linux_variety
livro_modelos_PR
An experimental book on models solved by Constraint Programming (in PORTUGUESE)
picat_slides
Slides do Curso de PICAT
pulp
A python Linear Programming API
v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io
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
claudiosa's Repositories
claudiosa/CCS
Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
claudiosa/linux_variety
claudiosa/livro_modelos_PR
An experimental book on models solved by Constraint Programming (in PORTUGUESE)
claudiosa/clingo-lessons
Slowly learning clingo, and writing notebooks that walk you through logic programs (under development)
claudiosa/picat_slides
Slides do Curso de PICAT
claudiosa/pulp
A python Linear Programming API
claudiosa/v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io