Pinned Repositories
Bachelors_Project
My bachelor's thesis at Ulm Uni
CMOS_Growth_Simulation
Silvaco code for the Semiconductor Technology course project. We grow 180nm channel NMOS and PMOS, use them to make CMOS, and use that to make a NOT gate. (Contributors: Bassem Safieldeen, Karim Adel Shams)
Distinguish_probability_distributions
Distinguish_quantum_states
Formalizes Ogawa2001 https://arxiv.org/abs/quant-ph/0110125
Entropy_and_reversible_catalysis
Formalizes https://arxiv.org/abs/2012.05573
Field_Zmodn_of_prime_n
FPAdderSubtractor
32-bit Floating Point Adder Subtractor (my part for the Microcomputer Applications course project)
lean-and-videos
Combining the Lean theorem prover with video and sound
Lean-tutorials
qvantum-shannon-theory
Formalizes https://arxiv.org/abs/1106.1445
BassemSafieldeen's Repositories
BassemSafieldeen/CMOS_Growth_Simulation
Silvaco code for the Semiconductor Technology course project. We grow 180nm channel NMOS and PMOS, use them to make CMOS, and use that to make a NOT gate. (Contributors: Bassem Safieldeen, Karim Adel Shams)
BassemSafieldeen/Entropy_and_reversible_catalysis
Formalizes https://arxiv.org/abs/2012.05573
BassemSafieldeen/qvantum-shannon-theory
Formalizes https://arxiv.org/abs/1106.1445
BassemSafieldeen/Shannon-theory
BassemSafieldeen/Bachelors_Project
My bachelor's thesis at Ulm Uni
BassemSafieldeen/Distinguish_probability_distributions
BassemSafieldeen/Distinguish_quantum_states
Formalizes Ogawa2001 https://arxiv.org/abs/quant-ph/0110125
BassemSafieldeen/Field_Zmodn_of_prime_n
BassemSafieldeen/FPAdderSubtractor
32-bit Floating Point Adder Subtractor (my part for the Microcomputer Applications course project)
BassemSafieldeen/lean-and-videos
Combining the Lean theorem prover with video and sound
BassemSafieldeen/Lean-tutorials
BassemSafieldeen/Masters_Project
My master's thesis at TU Delft
BassemSafieldeen/MIPS
VHDL code for a 5-stage pipelined MIPS processor on an FPGA. (contributers: Mina Michael, Hassan Ibrahim, Bassem Safieldeen, Omar el Awadi)
BassemSafieldeen/quantum-Stein-lemma
BassemSafieldeen/SPI
My part in the Digital Systems Design course project. Serial peripheral interface between two Spartan 3E FPGA kits
BassemSafieldeen/Surface17
LIQUiD simulation of the Surface17 quantum error correction code