Skip to content
@pointsgame

pointsgame

Pinned Loading

  1. oppai-rs oppai-rs Public

    OPen Points Artificial Intelligence

    Rust 11 3

  2. points-agda points-agda Public

    Safe points field implementation in Agda

    Agda

  3. points-purs points-purs Public

    Points field implementation in PureScript

    PureScript

  4. points-hs points-hs Public

    Points field implementation in Haskell

    Haskell

  5. points-lean points-lean Public

    Safe points field implementation in Lean

    Lean

  6. points-scala points-scala Public

    Points field implementation in Scala

    Scala

Repositories

Showing 9 of 9 repositories
  • points-idr Public

    Safe points field implementation in Idris

    pointsgame/points-idr’s past year of commit activity
    Idris 0 AGPL-3.0 0 0 0 Updated Sep 19, 2024
  • points-agda Public

    Safe points field implementation in Agda

    pointsgame/points-agda’s past year of commit activity
    Agda 0 AGPL-3.0 0 0 0 Updated Sep 18, 2024
  • points-scala Public

    Points field implementation in Scala

    pointsgame/points-scala’s past year of commit activity
    Scala 0 AGPL-3.0 0 0 0 Updated Sep 18, 2024
  • points-lean Public

    Safe points field implementation in Lean

    pointsgame/points-lean’s past year of commit activity
    Lean 0 AGPL-3.0 0 0 0 Updated Sep 16, 2024
  • points-purs Public

    Points field implementation in PureScript

    pointsgame/points-purs’s past year of commit activity
    PureScript 0 AGPL-3.0 0 0 0 Updated Sep 16, 2024
  • points-hs Public

    Points field implementation in Haskell

    pointsgame/points-hs’s past year of commit activity
    Haskell 0 AGPL-3.0 0 0 0 Updated Sep 16, 2024
  • oppai-rs Public

    OPen Points Artificial Intelligence

    pointsgame/oppai-rs’s past year of commit activity
    Rust 11 AGPL-3.0 3 0 0 Updated Sep 16, 2024
  • missile Public archive

    GUI for the game "Points"

    pointsgame/missile’s past year of commit activity
    Haskell 2 AGPL-3.0 0 0 0 Updated Nov 7, 2020
  • pointsserver Public archive
    pointsgame/pointsserver’s past year of commit activity
    Scala 1 0 0 0 Updated Aug 22, 2017

Top languages

Loading…

Most used topics

Loading…