/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

philipnewborough.co.uk
| | ravendb.net

.NET Aspire is a framework for building cloud-ready distributed systems in .NET. It allows you to orchestrate your application along with all its dependencie...
0.6 parsecs

Travel
| |
| | ayende.com

I'm building regex-es that build regex-es here, which makes my head spin Here is a riddle for your: regex.Replace("C:\\*\\ayende?","\\\\","\\\\") Without run...
0.5 parsecs

Travel
| |
| | www.ayende.com


0.5 parsecs

Travel
| |
| | github.com

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.
5.7 parsecs

Travel
|