andrepd

Pinned Repositories

2k_raytracer
A raytracer in 2000 bytes of C++
Language:C++1 2 00
6502js
A JavaScript 6502 assembler and simulator
Language:JavaScript10
acestream-launcher
Acestream Launcher allows you to open Acestream links with a Media Player of your choice
Language:Python1 2 00
android_device_zuk_z2_plus
Android device configuration for ZUK Z2 (z2_plus)
Language:C1 2 00
angio
Language:C++10
dpll-cpp
DPLL CNF-SAT solver
Language:C++10
electro
Relatórios Electromagnetismo I
Language:TeX1 3 00
famFranck-Hertz
FAM 2014 - Exp. de Franck Hertz
1 2 00
flii
1 2 00
haskell-logic
My working through "Handbook of Practical Logic and Automated Reasoning" (John Harrison, 2009) in Haskell
Language:Haskell5 2 00

andrepd's Repositories

andrepd/haskell-logic
My working through "Handbook of Practical Logic and Automated Reasoning" (John Harrison, 2009) in Haskell
Language:Haskell5 2 00
andrepd/2k_raytracer
A raytracer in 2000 bytes of C++
Language:C++1 2 00
andrepd/6502js
A JavaScript 6502 assembler and simulator
Language:JavaScript10
andrepd/acestream-launcher
Acestream Launcher allows you to open Acestream links with a Media Player of your choice
Language:Python1 2 00
andrepd/android_device_zuk_z2_plus
Android device configuration for ZUK Z2 (z2_plus)
Language:C1 2 00
andrepd/angio
Language:C++10
andrepd/dpll-cpp
DPLL CNF-SAT solver
Language:C++10
andrepd/electro
Relatórios Electromagnetismo I
Language:TeX1 3 00
andrepd/famFranck-Hertz
FAM 2014 - Exp. de Franck Hertz
1 2 00
andrepd/flii
1 2 00
andrepd/fmc3
Condensada 3
Language:Gnuplot1 4 0
andrepd/gamess
Fichinas de Gamess
Language:Python1 4 00
andrepd/latex-card
Business card in LaTeX
Language:TeX1 2 0
andrepd/latex-therefore
Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a macro to carefully select one of a multitude of choices.
Language:TeX1 2 01
andrepd/masterthesis-data
Master thesis - data files
1
andrepd/mnist
ANN to classify MNIST handwritten digits dataset
Language:C++1 2 0
andrepd/o2scl
Object-oriented Scientific Computing Library
Language:C1 2 0
andrepd/py-arenavision
Python 3 API for arenavision.in
Language:Python1 2 0
andrepd/sdcTrab2
Dados do Trabalho 2 de Sistemas Dinamicos e Complexos - André Duarte
Language:C++1 2 0
andrepd/template-latex
Template de LaTeX
Language:TeX1 2 0
andrepd/anabela-as-a-service
Language:Python
andrepd/batteries-included
Batteries Included project
Language:OCaml
andrepd/myProver
Toy Inst-gen based theorem prover
Language:OCaml2 0
andrepd/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml1 0
andrepd/ocaml-posit
Software implementation of Posits in OCaml
Language:OCaml
andrepd/quantum-tptp
Equational Theory for Quantum Circuits - TPTP formalisation
Language:Python1
andrepd/rust-lockfree-containers
Miscellaneous lock-free data structures, implemented in Rust, for my own learning purposes
Language:Rust
andrepd/tau800
TAU-800B Super: An anachronistic fantasy computer
Language:HTML1 0
andrepd/tptp-fuzzer
Generates random problems in TPTP-cnf format. Suitable for testing theorem provers.
Language:OCaml