/explore
|
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... |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
www.ayende.com
|
|
| | | | | ||
| | | | |
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. |
|
| | | |||