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/soap-rs
SOAP client for Rust programming language
raventid/avantgarde
Component base, general purpose, declarative language.
raventid/dhh
Framework for web-development with Ruby. This framework dedicated to DHH, author of Rails and I'm not sure it is good.
raventid/tracerius
Nice, lightweight and flexible line by line tracer for Ruby.
raventid/ruby-csp
Communicating sequential process library and extension for Ruby.
raventid/chatex
Chat, make video calls, create groups and have fun!
raventid/puzzle
Cross-platform puzzle game. You can run it really anywhere.
raventid/runner
Run and fight in reality and beyond.
raventid/shell-tips
Tips and tricks I learned while using bash.
raventid/maximum-speed
How realization of an algorithm depends on a language? Let's see!
raventid/sicp
SICP with Scheme
raventid/functator
Playing with functional tricks in Ruby.
raventid/ntlm-rs
NTLM library for Rust. Initially intended to be used in SOAP library.
raventid/alpaca
Functional programming inspired by ML for the Erlang VM
raventid/codegen
A Rust library providing a builder API to generate Rust code.
raventid/dry-rb.org
The official website of dryrb org
raventid/es-airline-app
Example application for selling airline tickets, based on SOA
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/heaventide
raventid/LightningStrike
Potentially the most cool static site generator ever.
raventid/mt
raventid/raytracer
Simple, fast, cool - raytracer we desereved!
raventid/rbspy
Sampling profiler for Ruby
raventid/react-blog
Sandbox to enjoy modern web-frontend development. We'll see is React really so nice.
raventid/react-server
Server rendering with react.
raventid/students
Student registration
raventid/url_shortener
Just a small url shortner application
raventid/wealthred
Small and very opinionated API to help you manage your wealth.
raventid/zaichik
Simple in-memory message broker