Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Group
  • https://leni.sh

  • Admin of this website

  • Joined on 2023-08-21
Repositories
10
 Projects Packages Public Activity Starred Repositories
2
aniva pushed to tactic/book at aniva/Pantograph 2023-08-30 19:16:42 -07:00
46347d8244 Add SemihashMap interface, rename proof commands to goal commands, allow deletion
aniva opened issue aniva/config#2 2023-08-28 17:43:03 -07:00
Automatically setup dot files
aniva created pull request aniva/config#1 2023-08-28 17:41:16 -07:00
Add macOS specific configuration files
aniva created branch macOS in aniva/config 2023-08-28 17:38:29 -07:00
aniva pushed to macOS at aniva/config 2023-08-28 17:38:29 -07:00
740bb568ec Add skhd and yabai
aniva pushed to dev at aniva/Pantograph 2023-08-28 17:29:30 -07:00
71327d2d55 Separate max and imax in sort level
aniva merged pull request aniva/Pantograph#12 2023-08-28 17:29:28 -07:00
Fix inconsistent sort level printing
aniva pushed to main at aniva/config 2023-08-28 16:18:15 -07:00
82c134a5ba Reoganize README.org
359ab04faa Add fish config
Compare 2 commits »
aniva created branch main in aniva/config 2023-08-28 15:34:25 -07:00
aniva pushed to main at aniva/config 2023-08-28 15:34:25 -07:00
5cfa457ce6 Initial commit
aniva created repository aniva/config 2023-08-28 15:33:55 -07:00
aniva created pull request aniva/Pantograph#12 2023-08-27 22:51:25 -07:00
Fix inconsistent sort level printing
aniva pushed to io/serial at aniva/Pantograph 2023-08-27 22:50:32 -07:00
71327d2d55 Separate max and imax in sort level
dea63ac5ea Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev
81702d12ef Remove the obsolete name field from proof tree structure
51edc701fe Add test cases for command error categories
95d26a2f50 Classify JSON error as command error
Compare 6 commits »
aniva pushed to tactic/book at aniva/Pantograph 2023-08-27 19:59:35 -07:00
8d5d7b6e3e Version bump to 0.2.4 due to breaking change
aniva pushed to tactic/book at aniva/Pantograph 2023-08-27 19:58:56 -07:00
80ad7a2bd0 Rename proof commands to goal commands
aniva pushed to tactic/book at aniva/Pantograph 2023-08-27 19:53:23 -07:00
0c5f439067 Add SemihashMap structure for goal bookkeeping
dea63ac5ea Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev
81702d12ef Remove the obsolete name field from proof tree structure
Compare 3 commits »
aniva pushed to dev at aniva/Pantograph 2023-08-26 18:50:42 -07:00
dea63ac5ea Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev
81702d12ef Remove the obsolete name field from proof tree structure
Compare 2 commits »
aniva merged pull request aniva/Pantograph#11 2023-08-26 18:50:41 -07:00
Remove the obsolete name field from proof tree structure
aniva pushed to misc/cleanup at aniva/Pantograph 2023-08-26 18:50:17 -07:00
81702d12ef Remove the obsolete name field from proof tree structure
51edc701fe Add test cases for command error categories
95d26a2f50 Classify JSON error as command error
5978e5f4f3 Merge pull request 'Add more serialisation options' (#2) from io/serial into dev
7160f8aa61 Merge branch 'dev' into io/serial
Compare 7 commits »
aniva created pull request aniva/Pantograph#11 2023-08-26 18:50:04 -07:00
Remove the obsolete name field from proof tree structure