meagtan Goto Github PK

99-lisp-problems

Solutions for the Ninety-Nine Lisp problems in Common Lisp.

bf-interpreter

Brainfuck interpreter and compiler to C code

checkers

Arduino implementation of checkers with AI.

circuit-simulator

A simulator for RLC circuits

cs-223-project

Digital design project implementing checkers in SystemVerilog

cs342-p1

CS 342 Operating Systems Project 1

cs342-p2

CS 342 Operating Systems Project 2

cs342-p3

CS 342 Operating Systems Project 3

cs342-p4

CS 342 Operating Systems Project 4

cs481-hw1

CS 481 Bioinformatics Algorithms HW 1

cs481-hw2

CS 481 Bioinformatics Algorithms HW 2

cs481-hw3

CS 481 Bioinformatics Algorithms HW 3

cs481-hw4

CS 481 Bioinformatics Algorithms HW 4

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.

grail-function-generator

Automatically generates functions for abstract data types given their GRAIL representation.

group-evaluator

Evaluate expressions formed by elements of a group with a given presentation, if possible.

guitar-tab-calculator

Inferring optimal tab configurations for chord sequences

harmonizer

Harmonizes a melody with the likeliest sequence of chords using dynamic Bayesian networks

math214-lecture-notes

nino-server

p-adic-numbers

Arithmetic and finding roots of polynomials in p-adic number fields

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.

syllogism

Syllogism solver with natural language input

theorem-prover

Proof of concept for theorem proving using heuristic search