Ericles Lima's repositories
Curriculum
Curriculum
FirePropagation
Files for CEPAGRI's fire propagation prevision project
GamutoWare
GamutoWare project
ericlesaquiles.github.io
my blog
todo-app
A toy app for playing with some ruby on rails
FEMexperiments
Some playing with Finite Elements Methods
Gradientes-Conjugados
Breve discorrimento sobre o método dos gradientes conjugados.
tfprobability
R interface to TensorFlow Probability
EstudoJulia
Cadernos de anotações da linha de estudo de Julia
ansi-test
ANSI Common Lisp conformity test suite. Optionally it tests some other extensions. Forked from https://gitlab.common-lisp.net/ansi-test/ansi-test
StudentChapterUSP.github.io
Blog para SIAM Student Chapter ICMC USP
Otimizacao-por-restricoes-logicas
Estudos Prolog
Mini-curso-Scheme
Material do mini curso
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
jskeus
This repository contains EusLisp software developed and used by JSK at The University of Tokyo
jsk_model_tools
JSK model utilities
EusLisp
EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming
simplex
C implementation of simplex method
cl-cookbook
The Common Lisp Cookbook: Tradução para PT-BR [WIP].