Landon Taylor mossbiscuits
0 Followers · 1 Following
  • https://www.mossbiscuits.com

  • This is where I do all the dev on my personal projects, because big corporate git management seems to be interested in causing problems for people.

  • Joined on 2025-04-16
Overview Repositories
2
 Projects Packages Public Activity Starred Repositories
1
mossbiscuits opened issue fmtools/content#37 2025-07-18 16:21:57 +00:00
[ADD] Modest
mossbiscuits pushed to main at fmtools/hugo-src 2025-07-10 18:53:48 +00:00
7381b56c80 update tools, fix many issues
19763a728d update banner
Compare 2 commits »
mossbiscuits closed issue fmtools/content#14 2025-07-10 18:52:31 +00:00
[ADD] Dafny
mossbiscuits closed issue fmtools/content#15 2025-07-10 18:52:31 +00:00
[ADD] Rust Verifiers
mossbiscuits pushed to main at fmtools/content 2025-07-10 18:52:31 +00:00
0e74e27d2c Fix #15
b7cd52b5c2 Fix #14
68e5a64e71 Fix #14
Compare 3 commits »
mossbiscuits opened issue fmtools/content#36 2025-07-10 18:50:12 +00:00
[FIX] Clean up toml front matters
mossbiscuits closed issue fmtools/content#10 2025-07-10 18:34:55 +00:00
[ADD] PRINSYS
mossbiscuits closed issue fmtools/content#11 2025-07-10 18:34:55 +00:00
[ADD] Prophesy
mossbiscuits closed issue fmtools/content#12 2025-07-10 18:34:55 +00:00
[ADD] DFT Gui
mossbiscuits closed issue fmtools/content#13 2025-07-10 18:34:55 +00:00
[ADD] IVy
mossbiscuits pushed to main at fmtools/content 2025-07-10 18:34:55 +00:00
ed0a3044fb Fix #13
c16fe09c6a Fix #12
bce698e1ca Fix #11
07cc6ae617 Fix #10
Compare 4 commits »
mossbiscuits closed issue fmtools/content#32 2025-07-10 18:25:32 +00:00
[FIX] Caesar
mossbiscuits pushed to main at fmtools/content 2025-07-10 18:25:32 +00:00
34c52fdf8c Fix #32
mossbiscuits opened issue fmtools/content#35 2025-07-10 15:51:53 +00:00
[ADD] Tools from Daniela Kaufmann
mossbiscuits opened issue fmtools/content#34 2025-07-10 15:51:24 +00:00
[ADD] Ahmed's tools
mossbiscuits opened issue fmtools/content#33 2025-07-08 16:56:51 +00:00
[ADD] veil
mossbiscuits opened issue fmtools/content#32 2025-06-23 20:10:37 +00:00
[FIX] Caesar
mossbiscuits pushed to main at fmtools/hugo-src 2025-06-23 20:05:18 +00:00
2c76b67afb add many tools
mossbiscuits pushed to main at fmtools/public 2025-06-23 20:05:09 +00:00
dff0d58ccc rebuild after many tool additions
mossbiscuits closed issue fmtools/content#9 2025-06-23 20:03:52 +00:00
[ADD] Caesar