st
0 followers · 0 following
  • Joined on 2025-07-19
Repositories
20
 Projects Packages Public activity Starred repositories
Filter
Sort
pass_strategy_synthesis
OCaml 0 0
Updated 2025-12-02 12:45:09 +00:00
pages
HTML 0 0
Updated 2025-11-29 20:55:51 +00:00
pages_template
0 0
Updated 2025-11-29 20:55:29 +00:00
prog_synthesis
Haskell 0 0
Updated 2025-11-26 09:36:22 +00:00
config
Shell 0 0
Updated 2025-11-12 12:55:55 +00:00
storage
0 0
Updated 2025-10-14 13:58:46 +00:00
my_crkbd_firmware
C 0 0
Updated 2025-09-08 10:38:27 +00:00
pattern_matching
Haskell 0 0
Updated 2025-09-03 09:54:31 +00:00
truffle_lama
Java 0 0
Updated 2025-06-18 20:41:27 +00:00
lama_byterun
OCaml 0 0
Updated 2025-06-09 14:10:56 +00:00
tree-sitter-lang
JavaScript 0 0
Updated 2024-09-19 17:47:38 +00:00
lang
C++ 0 0
Updated 2024-09-16 21:01:39 +00:00
snake_2024
C++ 0 0
Updated 2024-07-26 19:48:42 +00:00
lang_modes_check
C++ 0 0
Updated 2024-04-30 21:49:41 +00:00
konkr_game_3d
GDScript 0 0
Updated 2023-08-10 09:18:17 +00:00