• Stars
    star
    1
  • Language SystemVerilog
  • License
    GNU Lesser Genera...
  • 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

Digital design project implementing checkers in SystemVerilog

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

checkers

Arduino implementation of checkers with AI.
C
2
star
6

syllogism

Syllogism solver with natural language input
Common Lisp
2
star
7

guitar-tab-calculator

Inferring optimal tab configurations for chord sequences
Python
2
star
8

cs342-p3

CS 342 Operating Systems Project 3
C
1
star
9

fixed-point

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

cs481-hw2

CS 481 Bioinformatics Algorithms HW 2
C
1
star
11

cs481-hw4

CS 481 Bioinformatics Algorithms HW 4
C
1
star
12

galois-fields

Quick implementation of Galois fields in C
C
1
star
13

geometric-construction

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

cs342-p1

CS 342 Operating Systems Project 1
C
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