stop-cran

Limassol

Pinned Repositories

ADFS-WIF-sample
A minimal example of ASP.NET. Net Web API project with federated authentication on ADFS
Language:C#1 2 00
aspnetcore-mw-samples
Yet another set of ASP.NET Core middleware samples
Language:C#1 2 03
AspNetCoreExtras.Solace.Server
ASP.Net Core IServer implementation, that processes requests by Solace.
Language:C#2 3 40
flame
A plasma physics simulation project.
Language:Smalltalk1 2 00
google-cloud-telegram-bot
Telegram bot on Google App Engine
Language:Python8 2 02
idris-groups
Groups as T-algebras and group presentations.
Language:Idris2 2 00
namespace2xml
Language:C#7 2 13
namespace2xml-idris
Language:Idris1 2 00
SolaceTestClient
A simple tool to test Solace Pub-Sub connection
Language:C#1 1 01
ZabbixSender.Async
Provides tools to asynchronously send data to Zabbix.
Language:C#10 2 16

stop-cran's Repositories

stop-cran/ZabbixSender.Async
Provides tools to asynchronously send data to Zabbix.
Language:C#10 2 16
stop-cran/namespace2xml
Language:C#7 2 13
stop-cran/AspNetCoreExtras.Solace.Server
ASP.Net Core IServer implementation, that processes requests by Solace.
Language:C#2 3 40
stop-cran/aspnetcore-mw-samples
Yet another set of ASP.NET Core middleware samples
Language:C#1 2 03
stop-cran/SolaceTestClient
A simple tool to test Solace Pub-Sub connection
Language:C#1 1 01
stop-cran/topology
General Topology [maintainer=@amiloradovsky]
Language:Coq1 1 0
stop-cran/zorns-lemma
This library develops some basic set theory [maintainer=@amiloradovsky]
Language:Coq1 1 0
stop-cran/aspnetcore-auth-samples
Language:C#2 06
stop-cran/aspnetcore-di-samples
Language:C#2 013
stop-cran/aspnetcore-ef-samples
Language:C#2 0
stop-cran/aspnetcore-nunit-sample
Sample ASP.NET Core project with CI and coverage report.
Language:C#2 0
stop-cran/calkin_wilf_trees
A representation of rational numbers as Calkin-Wilf trees, relations with GCD.
Language:Lean2 0
stop-cran/CommitHashAttribute
Provides a single c# file to specify commit hash of source code for each .Net project in solution.
Language:C#2 0
stop-cran/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.
Language:OCaml1 0
stop-cran/craig2text
Language:Python1 0
stop-cran/craigrec2telegram
Language:C#1 0
stop-cran/DbMocker
Data Mocker for C# DbConnection
Language:C#1 0
stop-cran/dotnet-observable-samples
Language:C#2 01
stop-cran/dotnet-packaging
Extensions for the .NET Core CLI which help packaging and publishing .NET Core applications
Language:C#2 0
stop-cran/dotnet-postgres-samples
Language:C#2 0
stop-cran/hashtagrisk
Language:C#2 0
stop-cran/log4net
Unity adapter for log4net
Language:C#2 0
stop-cran/log4net.ObservableAppender
A log4net appender, that streams logging events into a System.Reactive's observable.
Language:C#2 01
stop-cran/nosql-samples
Language:C#2 07
stop-cran/RetryOnException.NUnit
Language:C#2 0
stop-cran/shouldly
Should testing for .NET - the way Asserting *Should* be!
Language:C#1 0
stop-cran/SolaceBinding
Allows to use WCF over Solace messaging platform.
Language:C#2 0
stop-cran/UnityExtras.Converters
Converters for Unity container.
Language:C#2 0
stop-cran/UnityLog4NetResolver
OUTDATED - use https://www.nuget.org/packages/Unity.log4net. An extension for Unity container that resolves all log4net.ILog dependencies as LogManager.GetLogger(<an ILog-dependent type>).
Language:C#2 0
stop-cran/YleBrowser
Experiments with Unity.
Language:C#2 0