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