Ata Deniz Aydın's repositories
99-lisp-problems
Solutions for the Ninety-Nine Lisp problems in Common Lisp.
harmonizer
Harmonizes a melody with the likeliest sequence of chords using dynamic Bayesian networks
p-adic-numbers
Arithmetic and finding roots of polynomials in p-adic number fields
GRAIL-function-generator
Automatically generates functions for abstract data types given their GRAIL representation.
guitar-tab-calculator
Inferring optimal tab configurations for chord sequences
bf-interpreter
Brainfuck interpreter and compiler to C code
circuit-simulator
A simulator for RLC circuits
cs-223-project
Digital design project implementing checkers in SystemVerilog
fixed-point
Approximating fixed points of parameterized families of functions using neural networks
galois-fields
Quick implementation of Galois fields in C
geometric-construction
Calculate the compass and straightedge construction of points, numbers, angles, polygons.
group-evaluator
Evaluate expressions formed by elements of a group with a given presentation, if possible.
search-algorithms
Testing the relative efficiency of different search algorithms and heuristics on randomly generated mazes
ski-interpreter
An interpreter for the SKI combinator calculus in Scheme.
theorem-prover
Proof of concept for theorem proving using heuristic search