Giters
Vicfred (vikfret)

vikfret

Geek Repo

161

followers

1

following

7

stars

Location:Mexico, Japan

Home Page:https://www.vicfred.dev

Github PK Tool:Github PK Tool

Organizations
cppmexico

Vicfred's repositories

Anime4K

A High-Quality Real Time Upscaler for Anime Video

Language:GLSLLicense:MITStargazers:7Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

DemoIdris

Language:IdrisStargazers:0Issues:0Issues:0

digirc

[Nim/Idris] A little IRC bot, just for fun.

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

idris-experiments

Language:IdrisStargazers:0Issues:0Issues:0

idris-snippets

Collection of Idris snippets

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

Idris2

A dependently typed programming language, a successor to Idris

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:1Issues:0

pandoc

Universal markup converter

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0