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/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/tmp
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/angular-components
raventid/blokhain
Blockchain without C
raventid/Compiler-Development
Что читать о разработке компиляторов
raventid/compiling-to-assembly-from-scratch
Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
raventid/crypton
Yet another straightforward cryptocurrency
raventid/elixir_course_junior
Учебный курс по Эликсир
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/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/revmc
JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
raventid/rust
Empowering everyone to build reliable and efficient software.
raventid/solana
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
raventid/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
raventid/triedb
raventid/velas-chain