Skip to content
View steeleprice's full-sized avatar
5 followers · 1 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark
Block or Report

Block or report steeleprice

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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 EventStore/EventStore

    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