Giters
Claudio Cesar de Sá (claudiosa)

claudiosa

Geek Repo

95

followers

11

following

16

stars

Company:Independent Researcher

Location:Joinville - SC - Brazil

Home Page:https://claudiocesar.wordpress.com/

Github PK Tool:Github PK Tool

Claudio Cesar de Sá's repositories

CCS

Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc

Language:TeXStargazers:35Issues:7Issues:0

linux_variety

Language:PLSQLStargazers:5Issues:1Issues:0

livro_modelos_PR

An experimental book on models solved by Constraint Programming (in PORTUGUESE)

Language:TeXStargazers:1Issues:2Issues:1

clingo-lessons

Slowly learning clingo, and writing notebooks that walk you through logic programs (under development)

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

picat_slides

Slides do Curso de PICAT

Language:TeXStargazers:0Issues:1Issues:0

pulp

A python Linear Programming API

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io

Language:VLicense:MITStargazers:0Issues:0Issues:0