Discover @gabriel-fallen Open Source projects

Alexander Chichigin (@gabriel-fallen)

gabriel-fallen

Stars
33
Global Rank 446,296 (Top 16 %)
Followers 79
Following 158
Registered over 12 years ago
Most used languages

Rust
27.3 %

Java
18.2 %

JavaScript
18.2 %

Elixir
9.1 %

HTML
9.1 %

Lean 9.1 %

Haskell
9.1 %
Location 🇬🇪 Georgia
Country Total Rank 230
Country Ranking

Lean 1

Haskell
4

Elixir
5

Rust
11

Java
77

HTML
167

JavaScript
196

bidirectional-demo

A demo implementation of a simple bidirectional type-checker in Lean 4.

rusty-krivine

Extended Krivine machine implemented in Rust.

krivine-extended

An implementation of extended Krivine machine.

HomegrownVM

A toy implementation of a stack VM and a compiler in Rust.

fundamentals-chart

SPA showing chart of fundamental ratios for given public companies.

jME3-example1

Simple jMonkeyEngine example with only built-in shapes and some physics.

paint-io

Simple real-time collanorative paint with HTML5 Canvas and Socket.io

taskbuster

A sample Elixir/Phoenix web app inspired by Asana. :)

price-splitter

talks

Slides and stuff for my talks.

mvc-todo

Spring MVC ToDo sample