• Stars
    star
    2
  • Language
    C
  • License
    MIT License
  • Created almost 8 years ago
  • Updated over 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Arduino implementation of checkers with AI.

More Repositories

1

99-lisp-problems

Solutions for the Ninety-Nine Lisp problems in Common Lisp.
Common Lisp
16
star
2

harmonizer

Harmonizes a melody with the likeliest sequence of chords using dynamic Bayesian networks
Jupyter Notebook
15
star
3

GRAIL-function-generator

Automatically generates functions for abstract data types given their GRAIL representation.
Common Lisp
5
star
4

p-adic-numbers

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

syllogism

Syllogism solver with natural language input
Common Lisp
2
star
6

guitar-tab-calculator

Inferring optimal tab configurations for chord sequences
Python
2
star
7

cs342-p3

CS 342 Operating Systems Project 3
C
1
star
8

fixed-point

Approximating fixed points of parameterized families of functions using neural networks
Python
1
star
9

cs481-hw2

CS 481 Bioinformatics Algorithms HW 2
C
1
star
10

cs481-hw4

CS 481 Bioinformatics Algorithms HW 4
C
1
star
11

galois-fields

Quick implementation of Galois fields in C
C
1
star
12

geometric-construction

Calculate the compass and straightedge construction of points, numbers, angles, polygons.
C++
1
star
13

cs342-p1

CS 342 Operating Systems Project 1
C
1
star
14

cs-223-project

Digital design project implementing checkers in SystemVerilog
SystemVerilog
1
star
15

theorem-prover

Proof of concept for theorem proving using heuristic search
Python
1
star
16

ski-interpreter

An interpreter for the SKI combinator calculus in Scheme.
Scheme
1
star
17

cs342-p2

CS 342 Operating Systems Project 2
C
1
star
18

circuit-simulator

A simulator for RLC circuits
Java
1
star
19

bf-interpreter

Brainfuck interpreter and compiler to C code
C
1
star
20

cs342-p4

CS 342 Operating Systems Project 4
C
1
star
21

cs481-hw1

CS 481 Bioinformatics Algorithms HW 1
C
1
star
22

group-evaluator

Evaluate expressions formed by elements of a group with a given presentation, if possible.
Common Lisp
1
star
23

math214-lecture-notes

TeX
1
star
24

search-algorithms

Testing the relative efficiency of different search algorithms and heuristics on randomly generated mazes
C
1
star
25

cs481-hw3

CS 481 Bioinformatics Algorithms HW 3
C
1
star