Leni Aniva aniva

0 Followers · 1 Following

• Stanford University Centaur Lab
• https://leni.sh

• Director of NorCal Hakkero Factory No. 1

• Joined on 2023-08-21

Repositories

12

Projects Packages Public Activity Starred Repositories

9

aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:27:36 -08:00

ecacf2107c feat(build): Add shared facet for lean_lib

aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:26:47 -08:00

075bec6da2 feat: Output shared library in flake

aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:26:32 -08:00

3292b34070 Merge pull request 'feat: Print parent expression assignment' (#45) from goal/relation into dev

d57612ec71 test: Delayed metavariable assignment

9ac84b3fd1 Merge branch 'dev' into goal/relation

a748900ad6 Merge pull request 'feat: Add leanpkgs to the flake output' (#46) from nix/toolchain into dev

3e321516f7 chore: Expose `leanPkgs` in flake

Compare 6 commits »

aniva created pull request aniva/Pantograph#48 2024-03-06 15:25:35 -08:00

feat: Output shared library in Nix flake

aniva created branch feature/lib in aniva/Pantograph 2024-03-06 15:24:30 -08:00

aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:24:30 -08:00

b3afe4161a feat: Output shared library in nix flake

aniva created pull request aniva/Pantograph#47 2024-03-06 15:19:37 -08:00

feat: Displaying delay assigned metavariable

aniva pushed to goal/relation at aniva/Pantograph 2024-03-06 15:14:27 -08:00

8853b17fee test: More diagnostics for tests

aniva created branch goal/relation in aniva/Pantograph 2024-03-06 15:14:27 -08:00

aniva pushed to main at aniva/RustCallLean 2024-03-06 14:38:08 -08:00

e0e293efc9 Code cleanup

aniva pushed to main at aniva/RustCallLean 2024-03-06 14:09:46 -08:00

a7aa5ba22e Fix linker error on linux

aniva pushed to main at aniva/RustCallLean 2024-03-06 13:07:59 -08:00

4acebb508f Add bindgen hook; code cleanup

aniva pushed to main at aniva/RustCallLean 2024-03-06 13:04:14 -08:00

c194d9152e Add bindgen hook; code cleanup

aniva pushed to main at aniva/RustCallLean 2024-03-05 16:40:00 -08:00

c0f00af744 Use stable rust. Fix `build.rs` bugs

aniva pushed to main at aniva/RustCallLean 2024-03-05 16:01:16 -08:00

c79205252e Remove extraneous libc dependency

aniva pushed to main at aniva/RustCallLean 2024-03-05 15:57:59 -08:00

a4a96bce61 Add full calling example

aniva pushed to main at aniva/RustCallLean 2024-03-05 14:00:23 -08:00

5d1f76c332 Add rust (caller) side entry point

aniva pushed to main at aniva/RustCallLean 2024-03-04 21:09:55 -08:00

b53d26b7ec Stub

aniva created branch main in aniva/RustCallLean 2024-03-04 21:09:54 -08:00

aniva created repository aniva/RustCallLean 2024-03-04 21:09:24 -08:00