Renegatto

Renegatto's Stars

• mgajda/purescript-screeps

  PureScript wrapper library for the Screeps game API (https://screeps.com)

  Language:PureScript54

• Karmel0x/AsusFanControl

  Small fan control app for ASUS laptops running 64-bit windows

  Language:C#7412

• Icelandjack/derivingvia-extras

  Miscellaneous via types.

  Language:Haskell111

• remimimimimi/lean4-type-theory

  Implementation of different type theories in Lean4

  Language:Lean3

• swarm-game/swarm

  Resource gathering + programming game

  Language:Haskell82752

• ndmitchell/ghcid

  Very low feature GHCi based IDE

  Language:Haskell1.1k111