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#13 2025-06-13 21:37:39 +00:00

[ADD] IVy

mossbiscuits opened issue fmtools/content#12 2025-06-13 21:35:32 +00:00

[ADD] DFT Gui

mossbiscuits opened issue fmtools/content#11 2025-06-13 21:33:28 +00:00

[ADD] Prophesy

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

3956933ba8 Update .gitea/issue_template/add_tool.md

mossbiscuits opened issue fmtools/content#10 2025-06-13 21:32:23 +00:00

[ADD] PRINSYS

mossbiscuits opened issue fmtools/content#9 2025-06-13 21:31:09 +00:00

[ADD] Caesar

mossbiscuits commented on issue fmtools/content#2 2025-06-13 21:30:33 +00:00

Add Model Checkers

• https://kind2-mc.github.io/kind2/

mossbiscuits opened issue fmtools/content#8 2025-06-13 21:29:48 +00:00

[ADD] Lean

mossbiscuits commented on issue fmtools/content#2 2025-06-13 21:29:08 +00:00

Add Model Checkers

• https://github.com/parapluu/Concuerror
• https://github.com/mCRL2org/mCRL2 (language?)
• https://github.com/uuverifiers/eldarica
• https://github.com/utwente-fmt/ltsmin
• …

mossbiscuits opened issue fmtools/content#7 2025-06-13 21:25:20 +00:00

[ADD] momba

mossbiscuits opened issue fmtools/content#6 2025-06-13 21:22:20 +00:00

[ADD] stateright

mossbiscuits opened issue fmtools/content#5 2025-06-13 21:20:20 +00:00

[ADD] SpaceEx

mossbiscuits commented on issue fmtools/content#3 2025-06-13 21:17:28 +00:00

[ADD] THS Aachen tools

Closed by b6cc09e6e187d32a6d4fd3b3820b5e7e8cf66ed1

mossbiscuits closed issue fmtools/content#3 2025-06-13 21:17:28 +00:00

[ADD] THS Aachen tools

mossbiscuits opened issue fmtools/content#4 2025-06-13 21:16:56 +00:00

[FIX] About

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

e08d09e072 add dates

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

b6cc09e6e1 add dates

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

83b1d40c15 rebuild

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

8a862c65e6 Add date

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

de97577006 Add tools and fix table bug