Beast code in Giters

Mert Dumenci's repositories

An experiment in compressing images using Singular Value Decomposition.

Language:Swift14 20

A toy RSA implementation in C using Accelerate.framework

Language:C4 20

A propositional theorem prover in Swift.

Language:Swift4 30

LC-3 Assembler in Swift

Language:Swift1 20

Simple Objective-C wrapper for Foursquare venue search API

Language:Objective-C1 20

Playing around with SAT solvers.

Language:Jupyter Notebook1 20

Exercises for Pierce's Software Foundations

Language:Coq1 20

An implementation of the FOL minimization procedure described in Lampert (2017).

Language:HaskellBSD-3-Clause030

Language:HaskellBSD-3-Clause02 1

Objective-C wrapper for http://my.eyuboglu.com portal

Language:Objective-C020

Container view controller that leverages UIKit Dynamics to provide a realistic drawer navigation paradigm.

Language:HTMLMIT020