Pinned Repositories
AI
AI class works
Analise_AlgoritmosT1
Primeiro trabalho de análise de algoritmos
compiladores
A compiler building project for the simple language Monga.
FirstOrderLogic.jl
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
julia
The Julia Programming Language
lean-logic
My code for CI in ITP
logic-soundness
The soundness proof for the presentation at WBL
scheme_tutorial
Haskell scheme tutorial
SoftwareBasicoT2
topological_ontology
A formal system of philosophy based on topological spaces
maxd13's Repositories
maxd13/logic-soundness
The soundness proof for the presentation at WBL
maxd13/scheme_tutorial
Haskell scheme tutorial
maxd13/SoftwareBasicoT2
maxd13/AI
AI class works
maxd13/Analise_AlgoritmosT1
Primeiro trabalho de análise de algoritmos
maxd13/compiladores
A compiler building project for the simple language Monga.
maxd13/FirstOrderLogic.jl
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
maxd13/julia
The Julia Programming Language
maxd13/lean-logic
My code for CI in ITP
maxd13/topological_ontology
A formal system of philosophy based on topological spaces
maxd13/markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
maxd13/MLStyle.jl
Julia functional programming infrastructures and metaprogramming facilities
maxd13/ModularT1
Primeiro trabalho de Modular.
maxd13/ModularT2
Segundo trabalho de Modular.
maxd13/presto
Home of the community managed version of Presto, the distributed SQL query engine for big data, under the auspices of the Presto Software Foundation.
maxd13/simple_db
Following a simple database building tutorial.
maxd13/SoftwareBasicoT1
Primeiro trabalho de software basico
maxd13/testing-goat
testing goat django tutorial
maxd13/user-scheduler
An userland Process Scheduler.