Jürgen Heiling's repositories
Examples
Random things I try
mslearn-create-razor-pages-aspnet-core
Sample app for "Create a web UI with ASP.NET Core" training module
ConnectFour
https://learn.microsoft.com/en-us/training/modules/dotnet-connect-four/
mslearn-build-interactive-components-blazor
Sample repo for Building Interactive Components with Blazor Learn Module
mslearn-use-forms-in-blazor-web-apps
Sample for Use Forms in Blazor Web Apps Learn Module
mslearn-blazor-navigation
Sample repo for use pages, routing, and layouts to improve Blazor navigation Learn Module
mslearn-interact-with-data-blazor-web-apps
Sample repo for Interact with Data for Blazor Web Apps Learn Module
.github
Default Files
unity-signals
Signals for Unity3D
idris-ct
formally verified category theory library
idris-electron-react-scaffold
Electron-React scaffold for Idris
category-theory-for-dotnet-programmers
This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fsharp
fsm-oracle
Finite state machines as graphs
idris-stbx-core
Category theoretic semantics of glued open Petri nets in Idris
py-stbx-packetcodec
Statebox codec for python
unity-extras
Some useful stuff for Unity3D
cs-functional
Utilities for Functional Programming in C#
idris-bugs
Collection of idris bugs
idris-react
React bindings for Idris
idris-electron
Electron bindings for Idris
idris-devscripts
Just some scripts for building my idris packages
idris-extras
Some useful functions for idris
BrokenBricksECS
Rebuild of Unity3D upcoming Entity Component System
BrokenBricksECSGenerator
Code generator for BrockenBricksECS
unity-signals-generator
Signals for Unity3D - code generator