Kory | Ryosuke Kondo

icon indicating a website link https://keybase.io/kory33

icon location Modelling ιδέα as form and instantiating intuition as code.

Results 3 repositories owned by Kory | Ryosuke Kondo

redmine_discord

20
Stars
8
Forks
Watchers

Redmine plugin that sends webhook notifications to Discord channels in a rich embed format.

verified publisher icon kory33

s2mc-test

16
Stars
2
Forks
Watchers

Scala-to-Minecraft testing framework.

verified publisher icon kory33

scala-proofs

37
Stars
1
Forks
Watchers

An attempt to build axiomatic, formal set theory on top of Scala.

verified publisher icon kory33