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 pushed to main at fmtools/public 2025-06-13 21:05:42 +00:00

d45d428d64 rebuild

mossbiscuits pushed to main at fmtools/public 2025-06-13 21:05:32 +00:00

5cfeefe269 rebuild

mossbiscuits pushed to main at fmtools/hugo-template 2025-06-13 21:05:23 +00:00

fb9f237845 Fix license bug

mossbiscuits pushed to main at fmtools/content 2025-06-13 21:05:14 +00:00

d29e2086dd Add More Tools

mossbiscuits pushed to main at fmtools/content 2025-06-13 20:50:31 +00:00

cee940b083 Add E Theorem Prover for #1

mossbiscuits pushed to main at fmtools/hugo-template 2025-06-13 20:50:13 +00:00

0b36579a36 Homepage improvements

mossbiscuits opened issue fmtools/content#3 2025-06-13 20:29:12 +00:00

[ADD] THS Aachen tools

mossbiscuits pushed to main at fmtools/hugo-src 2025-06-13 20:28:44 +00:00

2bcf81c94d favicon and alt-ergo

mossbiscuits closed issue fmtools/content#1 2025-06-13 20:28:37 +00:00

Initial List of SAT/SMT Solvers

mossbiscuits pushed to main at fmtools/content 2025-06-13 20:28:37 +00:00

6af9acff12 add alt-ergo. Closes #1

mossbiscuits pushed to main at fmtools/public 2025-06-13 20:27:45 +00:00

a43350989a favicon

mossbiscuits pushed to main at fmtools/hugo-template 2025-06-13 20:27:36 +00:00

6067707b74 favicon

mossbiscuits pushed to main at fmtools/hugo-src 2025-06-13 20:01:41 +00:00

bea87c2007 Fix url issues

mossbiscuits pushed to main at fmtools/public 2025-06-13 20:01:25 +00:00

e12ec64c22 Fix base url

mossbiscuits pushed to main at fmtools/hugo-src 2025-06-13 19:09:29 +00:00

1c48f7642c Ready to deploy in beta

mossbiscuits pushed to main at fmtools/content 2025-06-13 19:09:18 +00:00

224a339a38 Add some tools and categories

mossbiscuits pushed to main at fmtools/public 2025-06-13 19:09:11 +00:00

fb51f11cd4 Ready to deploy in beta more

mossbiscuits pushed to main at fmtools/hugo-template 2025-06-13 19:08:48 +00:00

09a787272b aesthetic updates and banner

mossbiscuits pushed to main at fmtools/publications 2025-06-13 19:08:35 +00:00

69b2cb9c60 Add tools

mossbiscuits pushed to main at fmtools/publications 2025-06-13 17:56:04 +00:00

eb77db514a Consolidate publication data