Pinned Repositories
Agda-Projects
Verifiction of Automatic Differentiation in Agda
Algorithmic-Problems-Python
Interesting Algorithmic Problems bu Python.
Blockchain
Implementation of Blockchain in Python
Deep-Learning-with-Tensorfow
Interpreter-in-Haskell-
Interpreter for simple and high-order programming languages in Haskell
LogicalDifferentiation
Differentiation in logical form by Stone duality.
Optimization
Optimization Algorithms and Numerical Methods in Scientific Computing
Partial-Evaluator
Partial evaluator in Scheme for simple proramming language
Quantum-Computing-with-Qiskit
Implementing Quantum Algorithms with Qiskit
SAT-solver
Implementation of SAT solver and different applications
mmaleki's Repositories
mmaleki/LogicalDifferentiation
Differentiation in logical form by Stone duality.
mmaleki/Agda-Projects
Verifiction of Automatic Differentiation in Agda
mmaleki/Algorithmic-Problems-Python
Interesting Algorithmic Problems bu Python.
mmaleki/Blockchain
Implementation of Blockchain in Python
mmaleki/Deep-Learning-with-Tensorfow
mmaleki/Interpreter-in-Haskell-
Interpreter for simple and high-order programming languages in Haskell
mmaleki/Optimization
Optimization Algorithms and Numerical Methods in Scientific Computing
mmaleki/Partial-Evaluator
Partial evaluator in Scheme for simple proramming language
mmaleki/Quantum-Computing-with-Qiskit
Implementing Quantum Algorithms with Qiskit
mmaleki/SAT-solver
Implementation of SAT solver and different applications