Jürgen Heiling's repositories

unity-signals

Signals for Unity3D

Language:C#License:MITStargazers:60Issues:4Issues:2

idris-electron

Electron bindings for Idris

Language:IdrisLicense:UnlicenseStargazers:7Issues:5Issues:0

idris-react

React bindings for Idris

Language:IdrisLicense:UnlicenseStargazers:7Issues:3Issues:0

unity-fs

Stuff to make Unity3D easier to use with F#

Language:F#License:MITStargazers:3Issues:3Issues:0

unity-signals-generator

Signals for Unity3D - code generator

Language:F#License:MITStargazers:3Issues:4Issues:0

idris-js

Js library for Idris

Language:IdrisLicense:UnlicenseStargazers:1Issues:0Issues:0

.github

Default Files

Stargazers:0Issues:2Issues:0

BrokenBricksECS

Rebuild of Unity3D upcoming Entity Component System

Language:C#License:MITStargazers:0Issues:3Issues:0

BrokenBricksECSGenerator

Code generator for BrockenBricksECS

Language:F#Stargazers:0Issues:0Issues:0

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

License:MITStargazers:0Issues:0Issues:0

ConnectFour

https://learn.microsoft.com/en-us/training/modules/dotnet-connect-four/

Language:CSSStargazers:0Issues:0Issues:0

cs-functional

Utilities for Functional Programming in C#

Language:C#License:MITStargazers:0Issues:0Issues:0

Examples

Random things I try

Language:HTMLStargazers:0Issues:0Issues:0
Language:C#Stargazers:0Issues:0Issues:0

fsm-oracle

Finite state machines as graphs

License:AGPL-3.0Stargazers:0Issues:0Issues:0

idris-bugs

Collection of idris bugs

Language:IdrisStargazers:0Issues:3Issues:0

idris-ct

formally verified category theory library

License:AGPL-3.0Stargazers:0Issues:0Issues:0

idris-devscripts

Just some scripts for building my idris packages

Language:ShellStargazers:0Issues:3Issues:0

idris-electron-react-scaffold

Electron-React scaffold for Idris

Language:IdrisLicense:UnlicenseStargazers:0Issues:3Issues:0

idris-extras

Some useful functions for idris

Language:IdrisLicense:UnlicenseStargazers:0Issues:0Issues:0

idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

Language:IdrisStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0

mslearn-blazor-navigation

Sample repo for use pages, routing, and layouts to improve Blazor navigation Learn Module

Language:CSSLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

mslearn-build-interactive-components-blazor

Sample repo for Building Interactive Components with Blazor Learn Module

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

mslearn-create-razor-pages-aspnet-core

Sample app for "Create a web UI with ASP.NET Core" training module

Language:C#License:CC-BY-4.0Stargazers:0Issues:1Issues:0

mslearn-interact-with-data-blazor-web-apps

Sample repo for Interact with Data for Blazor Web Apps Learn Module

Language:CSSLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

mslearn-use-forms-in-blazor-web-apps

Sample for Use Forms in Blazor Web Apps Learn Module

Language:CSSLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0
Language:F#Stargazers:0Issues:0Issues:0

py-stbx-packetcodec

Statebox codec for python

License:AGPL-3.0Stargazers:0Issues:0Issues:0

unity-extras

Some useful stuff for Unity3D

Language:C#License:MITStargazers:0Issues:3Issues:0