Pinned Repositories
ADFS-WIF-sample
A minimal example of ASP.NET. Net Web API project with federated authentication on ADFS
aspnetcore-mw-samples
Yet another set of ASP.NET Core middleware samples
AspNetCoreExtras.Solace.Server
ASP.Net Core IServer implementation, that processes requests by Solace.
flame
A plasma physics simulation project.
google-cloud-telegram-bot
Telegram bot on Google App Engine
idris-groups
Groups as T-algebras and group presentations.
namespace2xml
namespace2xml-idris
SolaceTestClient
A simple tool to test Solace Pub-Sub connection
ZabbixSender.Async
Provides tools to asynchronously send data to Zabbix.
stop-cran's Repositories
stop-cran/google-cloud-telegram-bot
Telegram bot on Google App Engine
stop-cran/idris-groups
Groups as T-algebras and group presentations.
stop-cran/ADFS-WIF-sample
A minimal example of ASP.NET. Net Web API project with federated authentication on ADFS
stop-cran/flame
A plasma physics simulation project.
stop-cran/namespace2xml-idris
stop-cran/grafana
The tool for beautiful monitoring and metric analytics & dashboards for Graphite, InfluxDB & Prometheus & More
stop-cran/Hardware.Misc
stop-cran/Idris-dev
A Dependently Typed Functional Programming Language
stop-cran/Idris-Fraction
A fraction view for Nat and some its properties
stop-cran/idris-tparsec-json
Total JSON parser by Idris TParsec library
stop-cran/Idris.CommandLineParser
A library to parse command line arguments as a list of strings.
stop-cran/keras-dcgan
Keras implementation of Deep Convolutional Generative Adversarial Networks
stop-cran/neural-dream-bot
A Telegram bot, which performs a neural style transfer
stop-cran/Neural-Style-Transfer-Windows
Windows Form application written in C# to ease usage of neural style transfer script
stop-cran/UnityExtras.DefaultParameterValue
Unity Container extension that resolves constructor and method default values taking the values via reflection.
stop-cran/UnityInjectionLookup
A custom InjectionMember for Unity Container, that resolves a provided type between several inheritors of some basis type, depending on their constructor parameter signatures.