shiney Goto Github PK

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

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

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.

iron

An Extensible, Concurrent Web Framework for Rust

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.

rand

roslyn

The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.

rust

A safe, concurrent, practical language.

soapcore

SOAP extension for ASP.NET Core

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

tutorials

Some Lean tutorials

xena

Lean Library currently studying for a degree at Imperial College

yew

Rust / Wasm framework for building client web apps