/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 github.com
GitHub - rails/rails: Ruby on Rails
| | fractaledmind.github.io
What is MVC? | Fractaled Mind
1.9 parsecs away

Travel
| | This is my personal site, where I write about Ruby, programming, and any of my varied fascinations.
| | github.community
community · Discussions · GitHub
0.6 parsecs away

Travel
| | Ask questions, get answers, share expertise.
| | codefol.io
Where Do I Put My Code?
2.0 parsecs away

Travel
| | [AI summary] This article discusses best practices for organizing code in a Rails application, focusing on models, controllers, views, helpers, the /lib directory, and gems to avoid code duplication and maintainability issues.
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. · GitHub
4.3 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.