vikfret

Biased and unprofessional. I make math/compsci that make no sense and make no money. Whatever people say I am, that's what I'm not. 日本語汉语

Mexico, Japan

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
Anime4K
A High-Quality Real Time Upscaler for Anime Video
Language:GLSL7 0 02
DemoIdris
Language:Idris0 0 00
digirc
[Nim/Idris] A little IRC bot, just for fun.
Language:Idris0 0 00
idris-experiments
Language:Idris00
idris-snippets
Collection of Idris snippets
Language:Idris0 0 00
Idris2
A dependently typed programming language, a successor to Idris
Language:Idris0 1 00
pandoc
Universal markup converter
Language:Haskell0 0 00

vikfret's Repositories

vikfret/Anime4K
A High-Quality Real Time Upscaler for Anime Video
Language:GLSL7 0 02
vikfret/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
vikfret/DemoIdris
Language:Idris0 0 00
vikfret/digirc
[Nim/Idris] A little IRC bot, just for fun.
Language:Idris0 0 00
vikfret/idris-experiments
Language:Idris00
vikfret/idris-snippets
Collection of Idris snippets
Language:Idris0 0 00
vikfret/Idris2
A dependently typed programming language, a successor to Idris
Language:Idris0 1 00
vikfret/pandoc
Universal markup converter
Language:Haskell0 0 00