Ecosyste.ms: Timeline

Browse the timeline of events for every public repo on GitHub. Data updated hourly from GH Archive.

dckc

dckc pushed 2 commits to master dckc/madmode-blog
  • docs: formal verification is catching up with cutting-edge math 3ce206d
  • Merge fv-math docs: formal verification is catching up with cutting-edge math 5fece3b

View on GitHub

dckc created a branch on dckc/madmode-blog

fv-math - my tinkering notebook (blog)

dckc starred digama0/lean-type-theory
dckc created a review on a pull request on Agoric/agoric-sdk
Good catch

View on GitHub

dckc opened a draft pull request on dckc/finquick
fix(sync26): toward support for new venmo message format
- useful diagnostic for no gmail query matches - refactor: use io = {} pattern - update getNote(...) ## Issue: LoadVenmoReceipts() doesn't support new Venmo mail message format - [ ] ma...
dckc pushed 153 commits to venmo-sync dckc/finquick
  • feat(cbrpt): parse coinbase report; display as table 4fa7c3c
  • feat(cbrp): summary transactions by type 0ab48ff
  • style: lint fixes - style(coinbaseCard): arrowParens: avoid 8a2280f
  • chore(coinbaseCard): csv() -> csv.parse() 23699bc
  • docs(coinbaseAccount): fix Bytes type f642ca7
  • fix(asOFX)!: write CCACCTFROM statement (WIP) ebe35c5
  • feat(lmToOFX): write lunchmoney transactions in OFX format 2c8e875
  • feat(lm-sync): fetch lunchmoney transactions b7a449f
  • buil(lm-sync)d: lint config 67e9972
  • feat(lm-sync): fetch plaid accounts to web page fc26f38
  • feat(lm-sync): cache API key, accounts in localStorage 6cdb1b8
  • feat(lm-sync): display selection of current accounts 7546437
  • feat(lm-sync): display 1 page of transactions fa57755
  • refactor(lm-sync): factor out makeFields, control c4779d2
  • chore(lm-sync): clean up types 43c40e1
  • feat(lm-sync): style transactions table 5cfeea4
  • fix(lm-sync): use password type to obscure apiKey 4f7f804
  • feat(lm-sync): "Powered By" section 761170a
  • fix(lm-sync): use display_name for accounts 613c8f4
  • feat(lm-sync): track user object; show budget_name b198d31
  • and 133 more ...

View on GitHub

dckc created a comment on an issue on dckc/madmode-blog
also related: > I'm kinda scared of my python site builder now. -- #14

View on GitHub