kamal
0 followers · 0 following
  • Joined on 2026-04-02
Repositories Projects Packages Public activity Starred repositories
kamal created repository lo/loic 2026-04-25 02:41:12 +00:00
kamal pushed to wiki at lo/libsoliton 2026-04-23 15:56:00 +00:00
3b75e8c3c0 Update Zig.md
kamal pushed tag v0.1.3 to lo/libsoliton 2026-04-23 15:53:41 +00:00
kamal pushed to master at lo/libsoliton 2026-04-23 15:53:21 +00:00
89f5be4f40
 Fix MSRV, version bumps
kamal pushed to master at lo/libsoliton 2026-04-23 15:26:34 +00:00
e45dc1d818
 version bumps across the board
6992c4b2a0
 Add paper, more minor doc updates
3acaa0fa3f
 CryptoVerif and Tamarin models, minor doc updates
9ba7ea2def
 initial commit
50e4351640
 initial commit
Compare 6 commits »
kamal pushed tag v0.1.0 to lo/lac 2026-04-23 12:03:23 +00:00
kamal created branch master in lo/lac 2026-04-23 12:02:46 +00:00
kamal pushed to master at lo/lac 2026-04-23 12:02:46 +00:00
7862cb1d9d
 initial commit
kamal pushed tag v0.1.2 to lo/libsoliton 2026-04-23 05:35:25 +00:00
kamal pushed to master at lo/libsoliton 2026-04-23 05:35:21 +00:00
4691beb4af
 version bumps across the board
kamal pushed to wiki at lo/libsoliton 2026-04-23 05:14:10 +00:00
65c7bcc8e5
 wiki updates
kamal pushed tag v0.1.2 to lo/libsoliton 2026-04-23 05:03:38 +00:00
kamal pushed to master at lo/libsoliton 2026-04-23 05:03:31 +00:00
793b00ff4b
 Add paper, more minor doc updates
kamal created repository lo/lac 2026-04-22 04:19:03 +00:00
kamal pushed to master at lo/libsoliton 2026-04-18 15:22:15 +00:00
e6d0a1ef1a
 CryptoVerif and Tamarin models, minor doc updates
kamal pushed to wiki at lo/libsoliton 2026-04-03 19:44:40 +00:00
c1ee2b58ef
 wiki pages
kamal pushed tag v0.1.1 to lo/libsoliton 2026-04-03 19:42:51 +00:00
kamal pushed to master at lo/libsoliton 2026-04-03 19:42:45 +00:00
18af877ef0
 initial commit
kamal pushed to wiki at lo/libsoliton 2026-04-03 18:59:31 +00:00
e27c30b7b0
 wiki pages
kamal pushed tag v0.1.0 to lo/libsoliton 2026-04-03 18:58:36 +00:00