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