Repositories Users Organizations
Filter
Sort
zenmaya/ agar
Rust 0 0
rust implementation of sequent calculus
Updated 2026-02-03 19:14:57 +01:00
zenmaya/ leti
Scheme 0 0
Updated 2026-01-24 18:02:06 +01:00
zenmaya/ magi
Nix 0 0
Updated 2026-01-05 19:03:17 +01:00
zenmaya/ hscheme
Haskell 0 0
Toy scheme implementation in Haskell
Updated 2026-01-04 23:14:23 +01:00
zenmaya/ prowl
Rust 0 0
Updated 2026-01-04 21:01:12 +01:00
zenmaya/ emacs-manager.nix
Nix 0 0
Updated 2025-12-25 19:41:04 +01:00
zenmaya/ nake
Rust 0 0
NixOS build helper tool
Updated 2025-11-11 19:19:40 +01:00
zenmaya/ datovka-rs
Rust 0 0
Updated 2025-08-27 09:25:34 +02:00
zenmaya/ libdatovka
C 0 0
A patched fork of libdatovka (will make PR later)
Updated 2025-08-17 17:54:55 +02:00
zenmaya/ solver
Rust 0 0
a sat solver
Updated 2025-08-13 17:39:35 +02:00
zenmaya/ nix-forgejo
Nix 0 0
Updated 2025-07-29 16:37:46 +02:00
zenmaya/ devdocs-downloader
Python 0 0
Updated 2025-05-27 19:40:53 +02:00
zenmaya/ intranet
Shell 0 0
Updated 2025-05-23 19:17:40 +02:00