ericlesaquiles

.github

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

Causality-Tutorial

cepagri_predicao_de_fogo

cl-cookbook

The Common Lisp Cookbook: Tradução para PT-BR [WIP].

Curriculum

Curriculum

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Deep-Video

ericlesaquiles

ericlesaquiles.github.io

my blog

EstudoJulia

Cadernos de anotações da linha de estudo de Julia

EusLisp

EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming

FEMexperiments

Some playing with Finite Elements Methods

FirePropagation

Files for CEPAGRI's fire propagation prevision project

GamutoWare

GamutoWare project

Gradientes-Conjugados

Breve discorrimento sobre o método dos gradientes conjugados.

install-script

jsk_model_tools

JSK model utilities

jskeus

This repository contains EusLisp software developed and used by JSK at The University of Tokyo

Mini-curso-Scheme

Material do mini curso

Otimizacao

Otimizacao-por-restricoes-logicas

Estudos Prolog

Otimizar-por-restricoes-logicas

progfun-wiki

senior-wms-tentative-blog

simplex

C implementation of simplex method

StudentChapterUSP.github.io

Blog para SIAM Student Chapter ICMC USP

tfprobability

R interface to TensorFlow Probability

Time-series

todo-app

A toy app for playing with some ruby on rails