Leo Shine's repositories
AsyncEfCoreOdata
Demostration of an issue with aspnet core odata
5dchess-tools
Toolset for computer-aided analysis written in Rust
ASP.NET-MVC-Boilerplate
A professional ASP.NET MVC template for building secure, fast, robust and adaptable web applications or sites. It provides the minimum amount of code required on top of the default MVC template provided by Microsoft.
AspNetCoreOData
ASP.NET Core OData: A server library built upon ODataLib and ASP.NET Core
ChakraCore
ChakraCore is the core part of the Chakra Javascript engine that powers Microsoft Edge
ChocolateyGUI
Explorer for chocolatey, requires the install of chocolatey
code-cracker
An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.
csharplang
The official repo for the design of the C# programming language
docs
Documentation for all active NUnit projects
DownmarkerWPF
MarkPad - a visual Markdown editor (inspired by the Downmarker project)
EntityFramework
Microsoft's recommended data access technology for new applications in .NET.
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mathnet-numerics
Math.NET Numerics
MediatR
Simple, unambitious mediator implementation in .NET
nunit
NUnit 3 Framework
path-tracer
A path tracer in rust
PortableRazor
A lightweight implementation of ASP.NET MVC APIs for mobile devices.
SQLite.Net-PCL
Simple, powerful, cross-platform SQLite client and ORM - Updated version with PCL support
theorem_proving_in_lean4
Theorem Proving in Lean 4