Pinned Repositories
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
AsyncEfCoreOdata
Demostration of an issue with aspnet core odata
azure-sdk-for-net
This repository is for active development of the Azure SDK for .NET. For consumers of the SDK we recommend visiting our public developer docs at https://learn.microsoft.com/dotnet/azure/ or our versioned developer docs at https://azure.github.io/azure-sdk-for-net.
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.
corefx
This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.
csharplang
The official repo for the design of the C# programming language
Shiney's Repositories
Shiney/AsyncEfCoreOdata
Demostration of an issue with aspnet core odata
Shiney/5dchess-tools
Toolset for computer-aided analysis written in Rust
Shiney/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.
Shiney/AspNetCoreOData
ASP.NET Core OData: A server library built upon ODataLib and ASP.NET Core
Shiney/azure-sdk-for-net
This repository is for active development of the Azure SDK for .NET. For consumers of the SDK we recommend visiting our public developer docs at https://learn.microsoft.com/dotnet/azure/ or our versioned developer docs at https://azure.github.io/azure-sdk-for-net.
Shiney/ChakraCore
ChakraCore is the core part of the Chakra Javascript engine that powers Microsoft Edge
Shiney/ChocolateyGUI
Explorer for chocolatey, requires the install of chocolatey
Shiney/code-cracker
An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.
Shiney/corefx
This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.
Shiney/csharplang
The official repo for the design of the C# programming language
Shiney/docs
Documentation for all active NUnit projects
Shiney/DownmarkerWPF
MarkPad - a visual Markdown editor (inspired by the Downmarker project)
Shiney/EntityFramework
Microsoft's recommended data access technology for new applications in .NET.
Shiney/iron
An Extensible, Concurrent Web Framework for Rust
Shiney/equational_theories
A project to map out the relations between different equational theories of Magmas.
Shiney/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Shiney/mathnet-numerics
Math.NET Numerics
Shiney/MediatR
Simple, unambitious mediator implementation in .NET
Shiney/nunit
NUnit 3 Framework
Shiney/path-tracer
A path tracer in rust
Shiney/PortableRazor
A lightweight implementation of ASP.NET MVC APIs for mobile devices.
Shiney/rand
Shiney/roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
Shiney/rust
A safe, concurrent, practical language.
Shiney/SoapCore
SOAP extension for ASP.NET Core
Shiney/SQLite.Net-PCL
Simple, powerful, cross-platform SQLite client and ORM - Updated version with PCL support
Shiney/theorem_proving_in_lean4
Theorem Proving in Lean 4
Shiney/tutorials
Some Lean tutorials
Shiney/xena
Lean Library currently studying for a degree at Imperial College
Shiney/yew
Rust / Wasm framework for building client web apps