mossbiscuits Landon Taylor
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 pushed to main at fmtools/hugo-template 2025-06-10 18:55:20 +00:00
ad1a614ff3 Fix card messages
mossbiscuits commented on issue fmtools/content#1 2025-06-10 18:49:08 +00:00
Initial List of SAT/SMT Solvers

Big list at https://ths.rwth-aachen.de/research/tools/

mossbiscuits commented on issue fmtools/content#1 2025-06-10 18:32:21 +00:00
Initial List of SAT/SMT Solvers

Huge list at https://www.verit-solver.org/#links

mossbiscuits closed issue fmtools/hugo-template#2 2025-06-10 18:28:08 +00:00
Implmement site heirarchy
mossbiscuits closed issue fmtools/hugo-template#3 2025-06-10 18:28:06 +00:00
Design a clean style for the site
mossbiscuits pushed to main at fmtools/hugo-src 2025-06-09 17:46:04 +00:00
5360b74809 big updates
mossbiscuits pushed to main at fmtools/hugo-template 2025-06-09 17:45:53 +00:00
97a31721d0 improve appearance
mossbiscuits pushed to main at fmtools/content 2025-06-09 17:45:40 +00:00
a454011c40 add solvers
mossbiscuits pushed to main at fmtools/public 2025-06-09 17:45:29 +00:00
3bb73fa9a7 updates
mossbiscuits pushed to main at fmtools/publications 2025-06-09 17:44:54 +00:00
aca0d278a9 start tools
mossbiscuits pushed to main at fmtools/hugo-src 2025-06-07 00:46:46 +00:00
6e54a5e4b9 updates throughout
mossbiscuits pushed to main at fmtools/content 2025-06-07 00:46:39 +00:00
388d5fb8f9 test updates
mossbiscuits pushed to main at fmtools/public 2025-06-07 00:46:15 +00:00
a87a4dbfbf updates
mossbiscuits pushed to main at fmtools/hugo-template 2025-06-07 00:45:58 +00:00
d4ac24c869 refactor taxonomy layout and improve table styling
mossbiscuits pushed to main at fmtools/hugo-src 2025-06-07 00:12:02 +00:00
110a860161 improve style
mossbiscuits pushed to main at fmtools/public 2025-06-07 00:11:51 +00:00
698cbd397c Update style
9356dc7b44 improve formatting
Compare 2 commits »
mossbiscuits pushed to main at fmtools/hugo-template 2025-06-07 00:11:40 +00:00
cfa3fa5bea increase header font weight
2dd4884e9f improve formatting
Compare 2 commits »
mossbiscuits opened issue fmtools/hugo-template#3 2025-06-07 00:10:10 +00:00
Design a clean style for the site
mossbiscuits closed issue fmtools/hugo-template#1 2025-06-07 00:09:38 +00:00
Design heirarchy of site
mossbiscuits pushed to main at fmtools/hugo-src 2025-06-07 00:09:17 +00:00
0eaf2a1dbd improve formatting