Skip to content
@pointsgame

pointsgame

Pinned Loading

  1. oppai-rs Public

    OPen Points Artificial Intelligence

    Rust 13 3

  2. points-agda Public

    Safe points field implementation in Agda

    Agda

  3. points-purs Public

    Points field implementation in PureScript

    PureScript

  4. points-hs Public

    Points field implementation in Haskell

    Haskell

  5. points-lean Public

    Safe points field implementation in Lean

    Lean

  6. points-scala Public

    Points field implementation in Scala

    Scala

Repositories

Showing 9 of 9 repositories
  • points-lean Public

    Safe points field implementation in Lean

    Lean 0 AGPL-3.0 0 0 0 Updated Mar 10, 2025
  • oppai-rs Public

    OPen Points Artificial Intelligence

    Rust 13 AGPL-3.0 3 0 0 Updated Feb 28, 2025
  • points-hs Public

    Points field implementation in Haskell

    Haskell 0 AGPL-3.0 0 0 0 Updated Oct 3, 2024
  • points-agda Public

    Safe points field implementation in Agda

    Agda 0 AGPL-3.0 0 0 0 Updated Oct 2, 2024
  • points-purs Public

    Points field implementation in PureScript

    PureScript 0 AGPL-3.0 0 0 0 Updated Sep 29, 2024
  • points-scala Public

    Points field implementation in Scala

    Scala 0 AGPL-3.0 0 0 0 Updated Sep 28, 2024
  • points-idr Public

    Safe points field implementation in Idris

    Idris 0 AGPL-3.0 0 0 0 Updated Sep 28, 2024
  • missile Public archive

    GUI for the game "Points"

    Haskell 2 AGPL-3.0 0 0 0 Updated Nov 7, 2020
  • pointsserver Public archive
    Scala 1 0 0 0 Updated Aug 22, 2017

Top languages

Loading…

Most used topics

Loading…