aferr Goto Github PK
Name: Andrew Ferraiuolo
Type: User
Location: London
Andrew Ferraiuolo's Projects
aferr.github.io
My Personal Website
anneal2
antlr4rust
ANTLR4 parser generator runtime for Rust programming laguage
chisel
circuit_training
configs
Arch Linux Configuration Files
configs2
Back to having a github repo for config files after 5 years of not doing that.
fuzztest
hafnium-verification
hippa-prolog
komodo
Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
latticememctl
lowrisc-chip
The root repo for lowRISC project and FPGA demos.
oak
Meaningful control of data in distributed systems.
raksha
secverilog
tc_paper
timing_insensitive_writeup
timingcompartments
tmuxmodel
A (very) simple model of a time multiplexed memory hierarchy including a shared bus, pipelined cache, and a memory controller. This was used to study the interaction between these resources when the bus and memory controller are both time multiplexed to prevent timing channel attacks. It includes simulated annealing and hill climbing optimizers to explore the design space of time quanta.
transparent-release
watchy-wall-clock
A [watchy](https://watchy.sqfmi.com/) face modeled after the clock on my wall
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.