zaphar

zaphar pushed to main at zaphar/dotfiles

2024-02-09 11:38:52 -05:00

656186389b remove lldb and llvmpackages

zaphar synced commits to main at zaphar/Heracles from mirror 2024-02-09 02:17:54 -05:00

9e52ac341b dev: Encapsulate the graphing bits in a web component

zaphar synced commits to main at zaphar/Heracles from mirror 2024-02-08 01:47:54 -05:00

08267f7727 feat: Huzzah! the graph renders!

e0bbf15c6f refactor: serve the js libraries via url

Compare 2 commits »

zaphar synced commits to main at zaphar/Heracles from mirror 2024-02-07 17:37:55 -05:00

8a6d5d5b9d dev: generation of a graph with no data for graph

e8edef93bf dev: sketch out basic elements for graph placement

757b86cb00 dev: Add plotly graphing library

4d2524efdc fix: type signatures for the state passing.

bb856bb464 feat: trigger htmx requests for dashboard clicks

Compare 6 commits »

zaphar synced commits to main at zaphar/Heracles from mirror 2024-02-05 00:17:54 -05:00

716f235335 feat: Run queries via the ui for dashboard graphs

3600b06e52 maint: Cleanup todo

03e4d1fac5 dev: Use dashboard titles to generate menu

d4b38830e6 init: skeleton for dashboard configuration state

Compare 4 commits »

zaphar synced commits to main at zaphar/Heracles from mirror 2024-02-03 23:37:55 -05:00

fc06c85356 init: We'll need yaml

e607ce53ea init: scaffolding for cli argument parsing

f5609bd6b0 init: Scaffolding for axum serving

Compare 3 commits »

zaphar pushed to main at zaphar/dotfiles

2024-01-31 22:11:00 -05:00

1c84d0b6a8 Formatting

zaphar pushed to main at zaphar/dotfiles

2024-01-31 22:10:27 -05:00

c185dbec6f Formatting

bd62b52285 More lean keymappings

ca3b74c5f6 don't anchor llvm to 11 anymore

ebb61135a9 Keybindings for lean4.nvim

094df66621 Pin the clang version to 11 for lean beause reasons.

Compare 7 commits »

zaphar pushed to main at zaphar/dotfiles

2024-01-29 16:29:19 -05:00

6de5297111 Workaround the broken symbols in libcxx on darwin.

zaphar pushed to main at zaphar/dotfiles

2024-01-29 00:41:46 -05:00

8f0c152c53 Makefile

f8b20a98ee TODO for isabelle

6711228f3c Working ocaml using unstable

39377c5beb Single flake construction

d354e921bb Bootstrapping nix also needs rosetta on an m1

Compare 7 commits »

zaphar created branch main in zaphar/recipes

2024-01-26 15:23:21 -05:00

zaphar pushed to main at zaphar/recipes

2024-01-26 15:23:21 -05:00

3657bd343a Fix spelling for cottage pie

9f9becc4bf Fit the new directory structure

a394f5e855 Add description to tuna melts

f6eaba66a9 Add tuna melts to the recipe list

b9efb58163 bump to v0.2.7 of kitchen

Compare 10 commits »

zaphar created repository zaphar/recipes

2024-01-26 15:21:14 -05:00

zaphar created branch main in zaphar/dotfiles

2024-01-25 17:22:24 -05:00

zaphar pushed to main at zaphar/dotfiles

2024-01-25 17:22:24 -05:00

248b7bf232 enable all features for cargo

fdd2b7fac8 tmux configuration

f763dc381f Set vi line editing and some additional nix options

b9ad9eac83 Readd omnisharp and disable roslyn

fcb1d2420b Roslyn is "working"

Compare 10 commits »

zaphar created repository zaphar/dotfiles

2024-01-25 17:14:15 -05:00