David Irvine's repositories
data_chain
Data blocks can be chained to provide verifiable assuredness that they contain network valid data and not injected.
i2c-pca9685
i2c PMA9685 16 channel PWM controller
crewAI
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
ed25519_vrf
Ed25519 Verifiable Random Function (VRF)
gworld
Rust library for genetic algorithms
homebrew-scientia
hombrew publish only
localGPT
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
net_simulation
Simulations for the safe network in python
OpenQ
The open-source implementation of Q*, achieved in context as a zero-shot reprogramming of the attention mechanism. (synthetic data)
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
research
My research ideas and (hopefully) tests
rust-libp2p
The Rust Implementation of the libp2p networking stack.
scientia
Files are dead, long live ideas
section_chain
BLS based section chain with membership management
self_encryption
file self encryptor
stateright
A model checker for implementing distributed systems.
transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
vrf-rs
Verifiable Random Function (VRF) library written in Rust