stop-cran/idris-groups stop-cran/idris-groups

  • Stars
    star
    2
  • Language Idris
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stop-cran/idris-groups
github

stop-cran

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Groups as T-algebras and group presentations.

More Repositories

1

ZabbixSender.Async

Provides tools to asynchronously send data to Zabbix.
C#
10
star
2

namespace2xml

C#
7
star
3

AspNetCoreExtras.Solace.Server

ASP.Net Core IServer implementation, that processes requests by Solace.
C#
2
star
4

SolaceTestClient

A simple tool to test Solace Pub-Sub connection
C#
1
star
5

flame

A plasma physics simulation project.
Smalltalk
1
star
6

ADFS-WIF-sample

A minimal example of ASP.NET. Net Web API project with federated authentication on ADFS
C#
1
star
7

aspnetcore-mw-samples

Yet another set of ASP.NET Core middleware samples
C#
1
star
8

namespace2xml-idris

Idris
1
star