Discover @remimimimimi Open Source projects

Rémi (@remimimimimi)

remimimimimi

Stars
35
Global Rank 438,984 (Top 16 %)
Followers 30
Following 134
Registered about 7 years ago
Most used languages

Lean 50.0 %

Common Lisp
25.0 %

Idris 25.0 %
Location 🇫🇮 Finland
Country Total Rank 1,810
Country Ranking

Idris 1

Lean 1

Common Lisp
7

Idris2-Rust

Idris2 Rust backend

glue

Kernel language ideas playground (for now).

ox-kakoune

Port of Ox theme with some changes

lean4-type-theory

Implementation of different type theories in Lean4

lean4-numnn

Simple neural network written from scratch.