Tasiro

Pinned Repositories

Idris2
A purely functional programming language with first class types
Language:Idris2.5k 63 1.2k380
ionide-vscode-fsharp
VS Code plugin for F# development
Language:F#865 46 1.4k282
Danmakufu-Woo-Edition
All hail our lord and savior Mima and our queen, Kogasa's Woo.
Language:C++00

Tasiro's Repositories

Tasiro/Danmakufu-Woo-Edition
All hail our lord and savior Mima and our queen, Kogasa's Woo.
Language:C++00