n
Repositories
Select a repository to view its commits, contributors, and more.public
noctis
A simple dockerized CRUD API made with Elixir and GraphQL
Elixir
2
0
0
Updated 3 years ago
public
alg-w-step-by-step
Algorith W implemented step by step based on https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf
Haskell
2
0
0
Updated 2 years ago
public
ito
A simple stack machine written with Rust
Rust
2
0
0
Updated 2 years ago
public
icaro
A simple Lisp language
Rust
2
0
3
Updated 2 years ago
public
t3-todo-app
A simple to-do list app with tRPC
TypeScript
2
0
3
Updated 2 years ago
public
learn-lean4
A simple repo to learn Lean4
Nix
2
0
0
Updated a year ago
public
web-experiments
A place to put all my experiments related to Web stuffs
1
0
0
Updated a year ago
public
totp-poc
1
0
0
Updated a year ago
public
learn-coq
1
0
0
Updated 3 years ago
public
exercises
A repo containing exercises from sites, books and other stuffs that I think that is relevant
JavaScript
1
0
24
Updated a year ago
public
egg-rust
1
0
0
Updated a year ago
public
math
A compedium containing all my resources studying about math stuffs
1
0
0
Updated a year ago