st
0 followers · 0 following
  • Joined on 2025-07-19
Repositories
19
 Projects Packages Public activity Starred repositories
Filter
Sort
pass_strategy_synthesis
OCaml 0 0
Updated 2026-01-12 14:25:22 +00:00
config
Shell 0 0
Updated 2025-12-27 16:07:21 +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
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
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
lang_2023
C++ 0 0
Updated 2023-07-08 10:23:52 +00:00