Pinned Repositories
bs-generics-demo
bsc
Bluespec Compiler (BSC)
carbles-ai
An AI program for playing the game Carbles
configuration
Simple library for managing program settings
feline-telepresence-robot
Remote-controlled robot for interacting with cats
gpu_ai
GPU-based game AI framework utilizing the Monte Carlo Tree Search algorithm
hardware-chess
Implementation of a chess AI on an FPGA
truth-table-generator
Tool that renders truth tables for Boolean expressions
ableC-prolog
An ableC extension providing Prolog-inspired logic programming constructs.
silver
An attribute grammar-based programming language for composable language extensions
krame505's Repositories
krame505/gpu_ai
GPU-based game AI framework utilizing the Monte Carlo Tree Search algorithm
krame505/hardware-chess
Implementation of a chess AI on an FPGA
krame505/bs-generics-demo
krame505/bsc
Bluespec Compiler (BSC)
krame505/carbles-ai
An AI program for playing the game Carbles
krame505/configuration
Simple library for managing program settings
krame505/feline-telepresence-robot
Remote-controlled robot for interacting with cats
krame505/truth-table-generator
Tool that renders truth tables for Boolean expressions
krame505/ableC
Attribute grammar Based Language Extensions for C
krame505/ableC-logic
ableC-based extended C translator for programming ISAs with configurable logic elements
krame505/board_games
A multi-language framework for chess/checkers-style board game AIs
krame505/bsc-contrib
A place to share libraries and utilities that don't belong in the core bsc repo
krame505/bsc-testsuite
Test suite for Bluespec Compiler (BSC)
krame505/gia
Functional language for artificial inteligence
krame505/lego_loom
Software for controlling a lego loom using the BrickPi
krame505/Light-show
A system for controling Christmas lights with a raspberry pi by means of arduinos and RF24 radios.
krame505/logic
Attribute grammar for manipulating logical circuits
krame505/primer-copilot
krame505/resume
Latex sources for my resume
krame505/rocketrobot
A lightweight multi-featured robot simulator
krame505/StaticTestController
Code for running the arduino for static testing