stop-cran Goto Github PK

adfs-wif-sample

A minimal example of ASP.NET. Net Web API project with federated authentication on ADFS

aspnetcore-auth-samples

aspnetcore-di-samples

aspnetcore-ef-samples

aspnetcore-mw-samples

Yet another set of ASP.NET Core middleware samples

aspnetcore-nunit-sample

Sample ASP.NET Core project with CI and coverage report.

aspnetcoreextras.solace.server

ASP.Net Core IServer implementation, that processes requests by Solace.

calkin_wilf_trees

A representation of rational numbers as Calkin-Wilf trees, relations with GCD.

commithashattribute

Provides a single c# file to specify commit hash of source code for each .Net project in solution.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

craig2text

craigrec2telegram

dbmocker

Data Mocker for C# DbConnection

dotnet-observable-samples

dotnet-packaging

Extensions for the .NET Core CLI which help packaging and publishing .NET Core applications

dotnet-postgres-samples

flame

A plasma physics simulation project.

google-cloud-telegram-bot

Telegram bot on Google App Engine

grafana

The tool for beautiful monitoring and metric analytics & dashboards for Graphite, InfluxDB & Prometheus & More

hardware.misc

hashtagrisk

idris-dev

A Dependently Typed Functional Programming Language

idris-fraction

A fraction view for Nat and some its properties

idris-groups

Groups as T-algebras and group presentations.

idris-tparsec-json

Total JSON parser by Idris TParsec library

idris.commandlineparser

A library to parse command line arguments as a list of strings.

keras-dcgan

Keras implementation of Deep Convolutional Generative Adversarial Networks

log4net

Unity adapter for log4net

log4net.observableappender

A log4net appender, that streams logging events into a System.Reactive's observable.

namespace2xml