Pinned Repositories
MorphOT
Transport-based interpolation of cryo-EM density maps for ChimeraX
Homotopy
Homotopy theory in Coq.
litefarm
ribosome.xyz-backend
ribosome.xyz-frontend.ts
Fronted for the ribosome.xyz knowledgebase.
sb-python-kfk
xv6-riscv
Xv6 for RISC-V
rtviii's Repositories
rtviii/sb-python-kfk
rtviii/bpf-docs
Presentations and docs
rtviii/practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
rtviii/biodata-integration-proposal
rtviii/commonwealth
A platform for decentralized communities
rtviii/cosmwasm
Framework for building smart contracts in Wasm for the Cosmos SDK
rtviii/cosmwasm-zero-to-hero
rtviii/cw-template
Quickstart template to get started writing your own cosmwasm contracts
rtviii/emacs-from-scratch
An example of a fully custom Emacs configuration developed live on YouTube!
rtviii/exercism-rust
rtviii/faucet
Faucet to get free coins for the Terra testnet
rtviii/gscdev
rtviii/guessing-game
rtviii/kafka-consumer
Start app for consuming Kafka topics
rtviii/kafka-stubs
rtviii/lie-vae
VAEs with Lie Group latent space
rtviii/mango-ui-v3
rtviii/mirror-airdrop
rtviii/nvim
rtviii/oracle-feeder
Oracle Feeder Daemon
rtviii/paulxdev
rtviii/pori_graphkb_loader
The Loaders for GraphKB. Imports content from external sources via the GraphKB REST API
rtviii/rlwrap
A readline wrapper
rtviii/rust_train
rtviii/sample-cosmwasm-contract
rtviii/spl-prog-client
rtviii/terrad-loadtest
rtviii/terrain
Terra development environment for better smart contract development experience.
rtviii/WasmEdge
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
rtviii/YCollet__writing_safer_C_code
Collection of articles on good practices and tools to improve C code quality