Pinned Loading

1. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell 1

2. typedefs typedefs Public

   Forked from typedefs/typedefs

   Programming language agnostic type construction language based on polynomials.

   Idris 1

3. fsm-oracle fsm-oracle Public

   Forked from statebox/fsm-oracle

   Finite state machines as graphs

   Idris

4. aspnetcore aspnetcore Public

   Forked from dotnet/aspnetcore

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

   C# 1

5. EventStore EventStore Public

   Forked from kurrent-io/KurrentDB

   The stream database optimised for event sourcing

   C# 1

6. interactive interactive Public

   Forked from dotnet/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.

   C# 2 1