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/bebe
My own LISP dialect, crafted with love.
raventid/QnA
Yet another Q'n'A web-app
raventid/mdToDoc
Library to convert one or more .md files into other format.
raventid/backuper
raventid/evolution_of_koa.js
My personal sandbox for playing with koa.js
raventid/extra_small_rest_framewfork
Basic routing for your next PHP web app
raventid/journeta
A dirt simple library for peer discovery and message passing between Ruby applications on a LAN.
raventid/juliankulesh.com
open source part of my own web-site
raventid/k
k - kanban app and nothing otiose
raventid/needle
Updated and fixed version of Jamis Buck's Needle (http://needle.rubyforge.org/) dependency injection container.
raventid/nginx-sysoev
nginx fast proxy server
raventid/ParallelProg
Repository for my C++ and C programming for Unix environment experiments
raventid/ravenrub
Straightforward ruby server
raventid/spec
The Ruby Spec Suite
raventid/url_shortener
Just a small url shortner application