Paventhan Vivekanandan (@pavenvivek)
github

pavenvivek

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    38
  • Global Rank 413,863 (Top 15 %)
  • Followers 10
  • Registered almost 10 years ago
  • Most used languages
    Agda     60.0 %
    Racket
         20.0 %
    Scheme
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 83,861
  • Country Ranking
    Agda     30
    Scheme
         84
    Racket
         446

Top repositories

1

Compiler-for-Scheme

The compiler for subset of scheme developed as part of P523
Scheme
31
star
2

WFLP-18

Implementation for Workshop on Functional and Logic Programming (WFLP 2018)
Agda
4
star
3

Raket-to-C_Interpreter

Converting a Racket interpreter to C using ParenthC interpreter
Racket
1
star
4

LPAR-2018

This repository contains implementation for LPAR conference
Agda
1
star
5

Agda-MetaProgramming

This repository contains tools for automated code generation using Agda reflection mechnism
Agda
1
star