Pinned Repositories
99-lisp-problems
Solutions for the Ninety-Nine Lisp problems in Common Lisp.
checkers
Arduino implementation of checkers with AI.
geometric-construction
Calculate the compass and straightedge construction of points, numbers, angles, polygons.
GRAIL-function-generator
Automatically generates functions for abstract data types given their GRAIL representation.
guitar-tab-calculator
Inferring optimal tab configurations for chord sequences
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
syllogism
Syllogism solver with natural language input
meagtan's Repositories
meagtan/99-lisp-problems
Solutions for the Ninety-Nine Lisp problems in Common Lisp.
meagtan/harmonizer
Harmonizes a melody with the likeliest sequence of chords using dynamic Bayesian networks
meagtan/GRAIL-function-generator
Automatically generates functions for abstract data types given their GRAIL representation.
meagtan/p-adic-numbers
Arithmetic and finding roots of polynomials in p-adic number fields
meagtan/checkers
Arduino implementation of checkers with AI.
meagtan/guitar-tab-calculator
Inferring optimal tab configurations for chord sequences
meagtan/syllogism
Syllogism solver with natural language input
meagtan/bf-interpreter
Brainfuck interpreter and compiler to C code
meagtan/circuit-simulator
A simulator for RLC circuits
meagtan/cs-223-project
Digital design project implementing checkers in SystemVerilog
meagtan/cs342-p1
CS 342 Operating Systems Project 1
meagtan/cs342-p2
CS 342 Operating Systems Project 2
meagtan/cs342-p3
CS 342 Operating Systems Project 3
meagtan/cs342-p4
CS 342 Operating Systems Project 4
meagtan/cs481-hw1
CS 481 Bioinformatics Algorithms HW 1
meagtan/cs481-hw2
CS 481 Bioinformatics Algorithms HW 2
meagtan/cs481-hw3
CS 481 Bioinformatics Algorithms HW 3
meagtan/cs481-hw4
CS 481 Bioinformatics Algorithms HW 4
meagtan/fixed-point
Approximating fixed points of parameterized families of functions using neural networks
meagtan/galois-fields
Quick implementation of Galois fields in C
meagtan/geometric-construction
Calculate the compass and straightedge construction of points, numbers, angles, polygons.
meagtan/group-evaluator
Evaluate expressions formed by elements of a group with a given presentation, if possible.
meagtan/math214-lecture-notes
meagtan/nino-server
meagtan/search-algorithms
Testing the relative efficiency of different search algorithms and heuristics on randomly generated mazes
meagtan/ski-interpreter
An interpreter for the SKI combinator calculus in Scheme.
meagtan/theorem-prover
Proof of concept for theorem proving using heuristic search