Skip to content
@Infers

Infers

Popular repositories Loading

  1. Infers Infers Public

    A type-level logic programming language embedded in F#

    F# 31 6

  2. Infers.Toys Infers.Toys Public

    F# 1 2

  3. Infers.Rep Infers.Rep Public

    F# 2

Repositories

Showing 3 of 3 repositories
  • Infers Public

    A type-level logic programming language embedded in F#

    Infers/Infers’s past year of commit activity
    F# 31 MIT 6 0 1 Updated Mar 5, 2018
  • Infers.Rep Public
    Infers/Infers.Rep’s past year of commit activity
    F# 0 MIT 2 0 0 Updated Aug 26, 2016
  • Infers.Toys Public
    Infers/Infers.Toys’s past year of commit activity
    F# 1 MIT 2 0 0 Updated Aug 26, 2016

Top languages

Loading…

Most used topics

Loading…