dzaima
3 followers · 0 following
  • Joined on 2023-01-13
Repositories
9
 Projects Packages Public activity Starred repositories
2
Filter
Sort
CBQN
C 0 1
Updated 2026-01-20 23:13:38 +01:00
dotfiles
BQN 0 0
dzaima's dotfiles
Updated 2026-01-12 00:25:20 +01:00
unexpected-lang
BQN 0 0
A language for defining Unexpected Keyboard layouts
Updated 2025-12-30 01:43:34 +01:00
bqn-smt
BQN 1 0
BQN interface to SMT solvers (Z3, cvc5, Bitwuzla)
Updated 2025-12-12 16:25:07 +01:00
bqmino
BQN 1 0
Updated 2025-10-06 12:17:45 +02:00
singeli-lsp
Rust 0 0
Updated 2025-09-20 18:46:44 +02:00
turing-incomplete-bqn
BQN 0 0
Updated 2025-03-16 02:44:11 +01:00
bqn-cvc5
C++ 0 0
Updated 2024-12-03 05:40:41 +01:00
vector-editor
Java 0 0
unfinished abandoned vector graphics editor
Updated 2024-10-17 21:21:54 +02:00