huitseeker/nbe

This repository has been archived on 23/Jul/2019
Stars
1
Language Verilog
Created almost 14 years ago
Updated almost 14 years ago

huitseeker/nbe

huitseeker

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

Normalization by evaluation in Coq

comby-rust

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

git-wordcount

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

thesis-spikes

Some Ssreflect demos and code snippets mentioned in my manuscript

safe-api

an exploration of type-level SAFE

sofia-ml

Automatically exported from code.google.com/p/sofia-ml

dotfiles

My dotfiles. Caveat emptor.