graydon Goto Github PK
Name: Graydon Hoare
Type: User
Location: Vancouver, BC
Graydon Hoare's Projects
1ml
1ML prototype interpreter
8086tiny
Official repository for 8086tiny: a tiny PC emulator/virtual machine
actions-k3s
Github action for spinning up local k3s instance and running kubectl commands
adapton.rust
Nominal Adapton in Rust
ahash
aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
aliceml
A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
alternative-internet
A collection of interesting new networks and tech aiming at decentralisation (in some form).
antidote
SyncFree Reference Platform
approvaltests.cpp
Native ApprovalTests for C++ on Linux, Mac and Windows
aquahash
Fast Hash Functions Using AES Intrinsics
arbtest
A minimalist property-based testing library
art-rs
Adaptive Radix Tree in Rust
arttree
Implementation of Adaptive Radix Tree in Rust
arugula
a small C++ lattice library
asmjit
Complete x86/x64 JIT and Remote Assembler for C++
astrocore
Stellar-core implementation in Rust (WIP)
augmentedtimeproject
A project to implement Augmented Time
autocheck
QuickCheck and SmallCheck clones for C++
automatark
Benchmark problems for different models of automata, transducers, and related logics
autosubst
Automation for de Bruijn syntax and substitution in Coq
awesome-c
A curated list of awesome C frameworks, libraries and software.
awesome-compilers
:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes
awesome-consensus
Awesome list for Paxos and friends
awesome-cpus
All CPU and MCU documentation in one place
awesome-crdt
A collection of awesome CRDT resources
awesome-dbdev
Awesome materials about database development.
awesome-distributed-transactions
Awesome list of distributed transactions
awesome-information-retrieval
A curated list of awesome information retrieval resources
awesome-leading-and-managing
Awesome List of resources on leading people and being a manager. Geared toward tech, but potentially useful to anyone.
awesome-ocap
Awesome Object Capabilities and Capability Security
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.