steeleprice

Pinned Repositories

• aspnetcore

  ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.

  Language:C#10

• Canvas

  HTML5 Canvas API implementation for Microsoft Blazor

  Language:C#10

• docs

  User documentation for Dapr

  1300

• EventStore

  The stream database optimised for event sourcing

  Language:C#10

• fsm-oracle

  Finite state machines as graphs

  Language:Idris00

• gherkin-dotnet

  Gherkin parser/compiler for .NET

  Language:C#10

• Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell1300

• interactive

  .NET Interactive takes the power of .NET and embeds it into your interactive experiences. Share code, explore data, write, and learn across your apps in ways you couldn't before.

  Language:C#2301

• NixOS-WSL

  NixOS on WSL(2)

  Language:Nix2301

• typedefs

  Programming language agnostic type construction language based on polynomials.

  Language:Idris10

steeleprice's Repositories