huitseeker/thesis-spikes huitseeker/thesis-spikes

  • This repository has been archived on 23/Jul/2019
  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Verilog
  • Created about 13 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
huitseeker/thesis-spikes
github

huitseeker

Reviews

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

Repository Details

Some Ssreflect demos and code snippets mentioned in my manuscript

More Repositories

1

comby-rust

Rust refactoring templates for comby, the structural find-and-replace tool.
Rust
33
star
2

git-wordcount

An ad-hoc script to count words in my thesis repository, and build a status page using pygooglechart
Python
5
star
3

safe-api

an exploration of type-level SAFE
Rust
2
star
4

sofia-ml

Automatically exported from code.google.com/p/sofia-ml
C++
1
star
5

dotfiles

My dotfiles. Caveat emptor.
Emacs Lisp
1
star
6

nbe

Normalization by evaluation in Coq
Verilog
1
star