electria
0 followers · 0 following
Block user

Please note that blocking a user has other effects, such as:

  • You will stop following each other and will not be able to follow each other.
  • This user will not be able to interact with the repositories you own, or the issues and comments you have created.
  • You will not be able to add each other as repository collaborators.
  • Joined on 2026-02-01
Repositories
10
 Projects Packages Public activity Starred repositories
electria pushed to main at electria/tylc 2026-10-06 14:51:38 -04:00
f1c6073708
 feat: add ln function
e59f928192
 refactor: simplify input logic
Compare 2 commits »
electria pushed to main at electria/tylc 2026-10-04 19:41:56 -04:00
d6b9d7a407
 refactor: use lib.rs in main.rs
564f95aa32
 refactor: use Node::from from parsed Floats
0afc7aab25
 feat: allow changing max_digits for pretty_eval
Compare 3 commits »
electria pushed to main at electria/tylc 2026-10-04 19:28:02 -04:00
2db19e7a46
 feat: allow changing max_digits for pretty_eval
69bf8f4635
 refactor: impl From for Node to easily insert constants
d8dc549954
 feat: add "e" as a constant
Compare 3 commits »
electria pushed to main at electria/tylc 2026-10-02 21:36:19 -04:00
ba33a71501
 feat: increase PREC 512 -> 2048
098df2aef2
 fix: ignoring decimal place accidentally
c745d6b5d2
 feat: don't print scientific notation for n < 1000
ef9d07923e
 refactor: simplify raw_string creation
3c20174ecb
 feat: prettyify scientific notation
Compare 5 commits »
electria pushed to main at electria/tylc 2026-09-30 23:07:50 -04:00
46c697234c
 feat: cap significant_digits to 10 in pretty_eval
electria pushed to main at electria/tylc 2026-09-30 23:02:52 -04:00
c249d7cb41
 fix: always a single leading space
electria pushed to main at electria/tylc 2026-09-30 22:52:51 -04:00
3d67c22905
 refactor: use nodes::eval helper in formatting
electria pushed to main at electria/tylc 2026-09-30 22:49:42 -04:00
2deabb148e
 refactor: rename modules to nicer names
35da9a0d40
 feat: return Result instead of panicking
d2368adc8f
 feat: create lib.rs API
ae9e6604e8
 refactor: fix unused lint
4363916608
 refactor: split main.rs to support planned lib.rs
Compare 14 commits »
electria pushed to single-graph at electria/itop 2026-09-25 14:33:02 -04:00
ba96aa4d6b
 feat: reduce parrelization, maximize LTO
electria pushed to main at electria/nixowos 2026-09-15 14:13:01 -04:00
035eaeadbe
 defaults: add nixpkgs-newest to the registry
electria pushed to main at electria/nixowos 2026-09-11 20:36:23 -04:00
67ce35d66d
 nix: fix incorrect for nix.settings.experimental-features
electria pushed to main at electria/nixowos 2026-09-11 00:35:40 -04:00
d5d8dd60a8
 system: replace sudo with sudo-rs by default
electria pushed to main at electria/nixowos 2026-09-09 01:00:57 -04:00
7d0f3f34e7
 shell: minimize extraPackages
electria pushed to main at electria/nixowos 2026-09-08 22:05:07 -04:00
df13fd2b5e
 shell: avoid configuring bash if fish is used
electria pushed to main at electria/nixowos 2026-09-08 21:59:01 -04:00
3af37fd7f5
 shell: use config.programs.fish.package over pkgs.fish
electria pushed to main at electria/nixowos 2026-09-02 14:08:08 -04:00
652550ab41
 system: don't enable sudo-rs
04b3c07941
 shell: partially revert "add nh over nixos-rebuild alias"
Compare 2 commits »
electria pushed to main at electria/keepice 2026-08-31 14:36:04 -04:00
11d99931f8
 feat: esc to clear query
electria pushed to edit-mode at electria/keepice 2026-08-30 01:04:54 -04:00
a38b0ca3dc
 feat: start work on edit mode
electria created branch edit-mode in electria/keepice 2026-08-30 01:04:54 -04:00
electria pushed to main at electria/keepice 2026-08-30 01:04:39 -04:00
717aabb3d6
 refactor: remove "move" from subscription closure