Skip to content
Change the repository type filter

All

    Repositories list

    • points-hs

      Public
      Points field implementation in Haskell
      Haskell
      GNU Affero General Public License v3.0
      0000Updated Oct 3, 2024Oct 3, 2024
    • Safe points field implementation in Agda
      Agda
      GNU Affero General Public License v3.0
      0000Updated Oct 2, 2024Oct 2, 2024
    • Points field implementation in PureScript
      PureScript
      GNU Affero General Public License v3.0
      0000Updated Sep 29, 2024Sep 29, 2024
    • oppai-rs

      Public
      OPen Points Artificial Intelligence
      Rust
      GNU Affero General Public License v3.0
      31200Updated Sep 28, 2024Sep 28, 2024
    • Points field implementation in Scala
      Scala
      GNU Affero General Public License v3.0
      0000Updated Sep 28, 2024Sep 28, 2024
    • Safe points field implementation in Lean
      Lean
      GNU Affero General Public License v3.0
      0000Updated Sep 28, 2024Sep 28, 2024
    • Safe points field implementation in Idris
      Idris
      GNU Affero General Public License v3.0
      0000Updated Sep 28, 2024Sep 28, 2024
    • missile

      Public archive
      GUI for the game "Points"
      Haskell
      GNU Affero General Public License v3.0
      0200Updated Nov 7, 2020Nov 7, 2020
    • pointsserver

      Public archive
      Scala
      0100Updated Aug 22, 2017Aug 22, 2017