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#27 2025-06-21 23:15:27 +00:00

[FIX] MathSAT

mossbiscuits pushed to main at fmtools/hugo-src 2025-06-13 22:47:25 +00:00

06e97bcd39 some more tools

mossbiscuits pushed to main at fmtools/content 2025-06-13 22:47:10 +00:00

16ca5a7b04 Merge branch 'main' of https://gitmoss.fyi/fmtools/content

a591cca1cd partial work toward #2

Compare 2 commits »

mossbiscuits opened issue fmtools/content#26 2025-06-13 22:25:08 +00:00

[ADD] Gillian

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

[ADD] Jasper

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

[ADD] DNN Verification

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

[ADD] IC3 Tools

mossbiscuits commented on issue fmtools/content#2 2025-06-13 22:11:14 +00:00

Add Model Checkers

• https://pat.comp.nus.edu.sg/
• https://ssvlab.github.io/esbmc/
• https://uppaal.org/
• https://forge.ispras.ru/projects/blast
• https://cadp.inria.fr/
• https://cpach…

mossbiscuits commented on issue fmtools/content#18 2025-06-13 22:06:27 +00:00

[ADD] Interactive theorem provers

• https://mizar.uwb.edu.pl/
• https://nuprl-web.cs.cornell.edu/
• https://github.com/TheoryMine/IsaPlanner
• https://github.com/nick8325/equinox
• https://www.cs.unm.edu/~mc…

mossbiscuits opened issue fmtools/content#22 2025-06-13 22:00:37 +00:00

[ADD] Program Synthesis Tools

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

[ADD] PANDA

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

[ADD] Runtime Verification Tools

mossbiscuits commented on issue fmtools/content#19 2025-06-13 21:51:42 +00:00

[ADD] Proof Assistants

• https://github.com/dominique-unruh/qrhl-tool
• https://github.com/pjreddie/blazeit
• https://github.com/uwplse/arvo

mossbiscuits commented on issue fmtools/content#19 2025-06-13 21:50:53 +00:00

[ADD] Proof Assistants

• https://github.com/RedPRL/redtt

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

[ADD] Proof Assistants

mossbiscuits opened issue fmtools/content#18 2025-06-13 21:46:47 +00:00

[ADD] Interactive theorem provers

mossbiscuits opened issue fmtools/content#17 2025-06-13 21:44:04 +00:00

[ADD] Why3 SMT Solvers

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

[ADD] why3

mossbiscuits opened issue fmtools/content#15 2025-06-13 21:39:40 +00:00

[ADD] Rust Verifiers

mossbiscuits opened issue fmtools/content#14 2025-06-13 21:38:34 +00:00

[ADD] Dafny