raventid
I write Rust/Ruby. Devops in the past. I know some C++, Haskell, Nixlang, Elixir, and Ocaml. Interested in math, ATS, TLA+, Alloy, Isabell, Coq, Lean, Arend.
@aurora-is-nearHong Kong SAR
Pinned Repositories
avantgarde
Component base, general purpose, declarative language.
awesome-ruby-performance
A curated list of awesome Ruby Performance books, courses, trainings, conference talks, blogs and most inspiring open source contributors.
bebe
My own LISP dialect, crafted with love.
chatex
Chat, make video calls, create groups and have fun!
dhh
Framework for web-development with Ruby. This framework dedicated to DHH, author of Rails and I'm not sure it is good.
renard
A simple programming language with first-class functions.
ruby-csp
Communicating sequential process library and extension for Ruby.
soap-rs
SOAP client for Rust programming language
tracerius
Nice, lightweight and flexible line by line tracer for Ruby.
write-you-async-for-a-great-good
Source code for my Ruby based async/await tutorial.
raventid's Repositories
raventid/awesome-ruby-performance
A curated list of awesome Ruby Performance books, courses, trainings, conference talks, blogs and most inspiring open source contributors.
raventid/write-you-async-for-a-great-good
Source code for my Ruby based async/await tutorial.
raventid/renard
A simple programming language with first-class functions.
raventid/async4r
raventid/coursera_learning
Used to be my Coursera's homeworks and notes. Now it's a knowledge kitchen sink :)
raventid/tiger
Just another implementation of tiger programming language in Ocaml
raventid/advent_of_code_2023
My solutions for Advent of Code 2023. This time C++ :)
raventid/akula
Next-generation Ethereum implementation written in Rust
raventid/blokhain
Blockchain without C
raventid/crypton
Yet another straightforward cryptocurrency
raventid/dotfiles
raventid/elixir_course_junior
Учебный курс по Эликсир
raventid/glommio
Glommio is a thread-per-core framework that aims to make the task of writing highly parallel asynchronous application in a thread-per-core architecture easier for rustaceans
raventid/kanrex
raventid/kubichek
Small orchestrator to deploy services
raventid/libmdbx
One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features and performance.
raventid/LightningStrike
Potentially the most cool static site generator ever.
raventid/lox
Crafting interpreter in Java
raventid/near-indexer-for-explorer
Watch NEAR network and store all the data from NEAR blockchain to PostgreSQL database
raventid/nltt
raventid/polkadot
Polkadot Node Implementation
raventid/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
raventid/raventid.github.io
Personal web page
raventid/rbpf
Rust virtual machine and JIT compiler for eBPF programs
raventid/rust
Empowering everyone to build reliable and efficient software.
raventid/solana
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
raventid/transfer
Transfer your data between Postgresql
raventid/triedb
raventid/velas-chain
raventid/zaichik
Simple in-memory message broker