asteri

asteri pushed to main at asteri/neovim

2026-05-01 16:25:53 +00:00

9615f07e31 update README with installation instruction

asteri created branch main in asteri/neovim

2026-05-01 16:10:27 +00:00

asteri pushed to main at asteri/neovim

2026-05-01 16:10:27 +00:00

a7cb4a0b6c rust and python lsp

e3572e1f5e Update chadrc.lua (#91)

5c656910f0 Fix: Grammatical Error in README.md

925399d90c add example of autocmds by default

2b4293a4c1 Update lspconfig.lua

Compare 10 commits »

asteri pushed to main at asteri/circuit-cas

2026-04-28 15:29:43 +00:00

5caccbaf50 improve var creation for SumProdCircuit

asteri pushed to main at asteri/circuit-cas

2026-04-27 21:29:19 +00:00

0c4bddf3b0 building quotient from ideal to make it more explicit

asteri pushed to main at asteri/circuit-cas

2026-04-27 21:15:42 +00:00

3fbd7e3773 improve api and simplify SumProdCircuit creation

627a2d88f4 refactor wip

723033f3aa wip refactor

Compare 3 commits »

asteri pushed to main at asteri/circuit-cas

2026-04-24 08:14:19 +00:00

3a83340c8f rename Mono fields for better understanding

asteri pushed to main at asteri/circuit-cas

2026-04-22 21:58:46 +00:00

0d5fc8225d add README.md

asteri pushed to main at asteri/circuit-cas

2026-04-22 21:53:53 +00:00

fe163b74b4 update quotient to ensure ideal defined with a grobner basis

asteri pushed to main at asteri/circuit-cas

2026-04-22 21:46:02 +00:00

fb12ec3819 check reduced grobner basis

e22a45926a add buchberger algorithm

1730ac2fac add S-polynomials

Compare 3 commits »

asteri pushed to main at asteri/circuit-cas

2026-04-22 17:44:12 +00:00

79bf205762 add polynomial division

5bc6124222 cargo fmt

fc7db3c989 add scale node

42d1dd30dc add quotient circuit structure and improve fmt for polynomials

Compare 4 commits »

asteri pushed to main at asteri/circuit-cas

2026-04-22 14:27:40 +00:00

dee53e6339 move tests on circuits (dag)

8c646fd920 refactor poly

fd05f6b024 move tests and implement dag

891546069c add tests

99fee298c7 add iterator in children nodes

Compare 5 commits »

asteri pushed to main at asteri/circuit-cas

2026-04-22 09:45:47 +00:00

5ef4893f03 update claude settings and wip DAG with SlotMap

asteri pushed to main at asteri/circuit-cas

2026-04-22 08:39:55 +00:00

345bc0f126 add a few tests for monomials and polynomials ops

09a9613870 add contains function for monomials

Compare 2 commits »

asteri pushed to main at asteri/circuit-cas

2026-04-21 22:48:36 +00:00

91f196035c fixing example

asteri created branch main in asteri/circuit-cas

2026-04-21 22:46:27 +00:00

asteri pushed to main at asteri/circuit-cas

2026-04-21 22:46:27 +00:00

1122fb74a3 renaming lib

04f5444c68 add sub ops for flat polynomial

6a8312dfe4 wip flat representation of polynomial over Z

asteri created repository asteri/circuit-cas

2026-04-21 22:44:19 +00:00

asteri pushed to main at asteri/ssh-status

2026-04-11 21:02:38 +00:00

a0c13ff4f7 repove unuused

d1f9238b2a add services status

21fe914f18 add cpus and border info

Compare 3 commits »

asteri pushed to main at asteri/ssh-status

2026-04-11 13:51:52 +00:00

588c98cbd5 add disk usage