Landon Taylor mossbiscuits

0 Followers · 2 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 closed issue fmtools/content#20 2025-08-22 19:00:07 +00:00

[ADD] Runtime Verification Tools

mossbiscuits pushed to main at fmtools/content 2025-08-22 19:00:07 +00:00

52735b97c6 Close #20

mossbiscuits opened issue fmtools/content#43 2025-08-22 18:57:51 +00:00

[ADD] Rice tools

mossbiscuits closed issue fmtools/content#19 2025-08-22 18:42:40 +00:00

[ADD] Proof Assistants

mossbiscuits pushed to main at fmtools/content 2025-08-22 18:42:40 +00:00

8e760b44e3 Close #19

mossbiscuits opened issue fmtools/content#42 2025-08-22 18:21:36 +00:00

Tool Audit

mossbiscuits closed issue fmtools/content#18 2025-08-22 00:02:40 +00:00

[ADD] Interactive theorem provers

mossbiscuits pushed to main at fmtools/content 2025-08-22 00:02:40 +00:00

2c1587a006 Close #18

mossbiscuits opened issue fmtools/content#41 2025-08-21 23:59:06 +00:00

[ADD] twelf

mossbiscuits opened issue fmtools/content#40 2025-08-21 23:46:51 +00:00

[ADD] Inox and Welder

mossbiscuits pushed to main at fmtools/content 2025-08-21 23:38:18 +00:00

1b28b1b8b4 fix new tool generator and add rcoq for #18

mossbiscuits pushed to main at fmtools/content 2025-08-21 23:34:47 +00:00

1b3dfad81e Fix listeners

mossbiscuits pushed to main at fmtools/content 2025-08-21 23:24:58 +00:00

3e9b8f84b3 Add new tool generator

mossbiscuits closed issue fmtools/content#17 2025-08-21 22:15:09 +00:00

[ADD] Why3 SMT Solvers

mossbiscuits pushed to main at fmtools/content 2025-08-21 22:15:09 +00:00

0cb4f7ed82 fix icon

97a87a1679 Close #17, add tools

Compare 2 commits »

mossbiscuits commented on issue fmtools/content#17 2025-08-21 22:13:53 +00:00

[ADD] Why3 SMT Solvers

Need to double check correctness

mossbiscuits opened issue fmtools/content#39 2025-08-21 22:10:35 +00:00

Make a tool page generation script or form to make it easier.

mossbiscuits opened issue fmtools/content#38 2025-08-21 22:10:11 +00:00

Redo yaml frontmatter

mossbiscuits closed issue fmtools/content#16 2025-08-21 21:49:26 +00:00

[ADD] why3

mossbiscuits pushed to main at fmtools/content 2025-08-21 21:49:26 +00:00

f1f2354db2 Add Why3, close #16