mehbark mbk
0 followers · 0 following
Repositories
61
 Projects Packages Public activity Starred repositories
mbk pushed to main at mbk/lisp 2025-04-14 11:59:22 -04:00
6ffcda2601 some numerical approximations
mbk pushed to main at mbk/nix 2025-04-12 15:31:28 -04:00
631f3bfd91 update, temporarily disable native comp for darwin emacs
mbk pushed to main at mbk/nix 2025-04-12 14:21:19 -04:00
997a3fe5fe sage, wget
mbk pushed to main at mbk/bytecode 2025-04-11 18:26:04 -04:00
46d44e4e49 un-only M.push_pop closing simp
mbk pushed to main at mbk/bytecode 2025-04-09 16:09:37 -04:00
9eabd7da37 Ast.run_compiled
mbk pushed to main at mbk/bytecode 2025-04-09 16:04:24 -04:00
191c09ace7 chore: cleanup
mbk pushed to main at mbk/simple-counterexamples 2025-04-08 23:13:30 -04:00
ad20702327 BadInfinities: chore redundant newline
mbk pushed to main at mbk/invariant 2025-04-04 20:02:58 -04:00
9240c7b899 add NatSet to its own file
mbk pushed to main at mbk/invariant 2025-04-04 12:59:31 -04:00
bf91efe29c NatSet.mem_insert
mbk pushed to main at mbk/smogon-stats 2025-04-01 12:49:28 -04:00
e87753361d fix: update readme
mbk pushed to main at mbk/smogon-stats 2025-03-27 02:54:59 -04:00
d8976638d3 fix: add version to output
8dc524aa38 v0.1.2
Compare 2 commits »
mbk pushed tag v0.1.2 to mbk/smogon-stats 2025-03-27 02:52:49 -04:00
mbk pushed to main at mbk/smogon-stats 2025-03-27 02:48:16 -04:00
f5445636a0 fix: just write to the dang file :P
mbk pushed to main at mbk/smogon-stats 2025-03-27 02:43:27 -04:00
049aa6f2b1 feat: one transaction, build in memory and vacuum out
mbk pushed to main at mbk/smogon-stats 2025-03-27 02:12:14 -04:00
9337e57e0b v0.1.1
mbk pushed tag v0.1.1 to mbk/smogon-stats 2025-03-27 00:43:28 -04:00
mbk pushed to main at mbk/smogon-stats 2025-03-26 15:58:50 -04:00
120ed1502b fix: make fields that old files don't have optional
mbk pushed tag v0.1.0 to mbk/smogon-stats 2025-03-26 00:38:46 -04:00
mbk pushed to main at mbk/smogon-stats 2025-03-26 00:37:40 -04:00
a616174f79 chore: gitignore and more cargo metadata
mbk pushed to main at mbk/smogon-stats 2025-03-26 00:26:39 -04:00
773eaeea13 feat: readme and examples