mertdumenci

Pinned Repositories

ImageCompressionWithSVD
An experiment in compressing images using Singular Value Decomposition.
Language:Swift14 2 00
lampert
An implementation of the FOL minimization procedure described in Lampert (2017).
Language:Haskell0 3 00
lc3-assembler
LC-3 Assembler in Swift
Language:Swift1 2 01
libmdrsa
A toy RSA implementation in C using Accelerate.framework
Language:C4 2 00
Logic
Language:Haskell0 2 10
MDFoursquareSearch
Simple Objective-C wrapper for Foursquare venue search API
Language:Objective-C1 2 00
sat-ml
Playing around with SAT solvers.
Language:Jupyter Notebook1 2 00
system-lk
A propositional theorem prover in Swift.
Language:Swift4 3 00

mertdumenci's Repositories

mertdumenci/ImageCompressionWithSVD
An experiment in compressing images using Singular Value Decomposition.
Language:Swift14 2 00
mertdumenci/libmdrsa
A toy RSA implementation in C using Accelerate.framework
Language:C4 2 00
mertdumenci/system-lk
A propositional theorem prover in Swift.
Language:Swift4 3 00
mertdumenci/lc3-assembler
LC-3 Assembler in Swift
Language:Swift1 2 01
mertdumenci/MDFoursquareSearch
Simple Objective-C wrapper for Foursquare venue search API
Language:Objective-C1 2 00
mertdumenci/sat-ml
Playing around with SAT solvers.
Language:Jupyter Notebook1 2 00
mertdumenci/software-foundations
Exercises for Pierce's Software Foundations
Language:Coq1 2 0
mertdumenci/lampert
An implementation of the FOL minimization procedure described in Lampert (2017).
Language:Haskell0 3 00
mertdumenci/Logic
Language:Haskell0 2 10
mertdumenci/MEAPI
Objective-C wrapper for http://my.eyuboglu.com portal
Language:Objective-C2 01
mertdumenci/MSDynamicsDrawerViewController
Container view controller that leverages UIKit Dynamics to provide a realistic drawer navigation paradigm.
Language:HTML2 0