nmoroze/kronos nmoroze/kronos

  • Stars
    star
    15
  • Rank 1,344,926 (Top 27 %)
  • Language
    Racket
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nmoroze/kronos
github

nmoroze

Reviews

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

Repository Details

My MEng thesis code - verifying a security property for an SoC with Rosette

More Repositories

1

lemoncore

Simple RISC-V processor for FPGAs 🍋 🤖
Verilog
21
star
2

tclint

EDA-centric utility for linting and analyzing Tcl code.
Python
18
star
3

dodo

A download organizer extension for Chrome.
JavaScript
13
star
4

SimpleChatBot

To learn more Python, I decided to implement a simple chatbot. It's inspired by ELIZA, and tries to form your input as a question by matching it to various patterns.
Python
6
star
5

printer

CAD files for custom 3D printer design. Inspired by Prusa i3.
5
star
6

peer-edit

Python
4
star
7

SnapchatKeeper

Android app that allows you to keep Snapchat images forever.
Java
3
star
8

onion-or-not

JavaScript
2
star
9

cm1k

Experiments with the CM1K neural net chip.
Python
2
star
10

nmoroze.github.io

My personal site.
Python
2
star
11

coinectors

A building toy that lets you turn a jar of change into a unique creation!
1
star
12

dotfiles

My dotfiles
Emacs Lisp
1
star
13

Android-Apps

Several Android apps I've created for fun and learning purposes.
Java
1
star
14

motio-android

Motio Android app for Y-Hack 2013
Java
1
star
15

opentitan-kronos

Fork of OpenTitan with modifications for Kronos
SystemVerilog
1
star
16

noah.host

My shortlinks, managed by gitlinks
HTML
1
star