bpandreotti

Pinned Repositories

alg-1-tp-1
Algoritmos 1 - Trabalho Prático 1
Language:C++00
carcara-talk
Language:TeX1 1 00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT00
ed-tp-2
Estruturas de Dados - Trabalho Prático 2
Language:C++0 0 00
ed-tp-3
Estruturas de Dados - Trabalho Prático 3
Language:C++00
helix
A post-modern modal text editor.
Language:Rust00
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language:OCaml00
rose
A Penrose tiling generator written in Rust
Language:Rust50
rusty-monkey
The Monkey programming language, implemented in Rust
Language:Rust3 0 00
carcara
Language:Rust30 6 1211

bpandreotti's Repositories

bpandreotti/rose
A Penrose tiling generator written in Rust
Language:Rust50
bpandreotti/rusty-monkey
The Monkey programming language, implemented in Rust
Language:Rust3 0 00
bpandreotti/carcara-talk
Language:TeX1 1 00
bpandreotti/alg-1-tp-1
Algoritmos 1 - Trabalho Prático 1
Language:C++00
bpandreotti/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT00
bpandreotti/ed-tp-2
Estruturas de Dados - Trabalho Prático 2
Language:C++0 0 00
bpandreotti/ed-tp-3
Estruturas de Dados - Trabalho Prático 3
Language:C++00
bpandreotti/helix
A post-modern modal text editor.
Language:Rust00
bpandreotti/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language:OCaml00
bpandreotti/neovide
No Nonsense Neovim Client in Rust
Language:Rust00
bpandreotti/paar-talk
Language:TeX
bpandreotti/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
bpandreotti/rust-git-version
Compile the Git version (tag name, or hash otherwise) and dirty state into your Rust program.
Language:Rust0 0