GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — kayceesrk - Overview
@kayceesrk kayceesrk Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@kayceesrk
kayceesrk
Follow
View kayceesrk's full-sized avatar

KC Sivaramakrishnan kayceesrk

Follow
CS Prof, CTO @tarides, @ocaml core developer
546 followers · 174 following
  • IIT Madras and Tarides
  • Chennai, India
  • 17:17 (UTC +05:30)
  • https://kcsrk.info
  • @kc_srk
  • @kcsrk.info

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@ocamllabs
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. ocaml-multicore/effects-examples ocaml-multicore/effects-examples Public

    Examples to illustrate the use of algebraic effects in Multicore OCaml

    OCaml 454 36

  2. fplaunchpad/cs3100_m20 fplaunchpad/cs3100_m20 Public

    CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)

    Jupyter Notebook 66 13

  3. fplaunchpad/cs6868_s26 fplaunchpad/cs6868_s26 Public

    CS6868: Concurrent Programming

    OCaml 95 14

  4. fplaunchpad/cs6225_s25_iitm fplaunchpad/cs6225_s25_iitm Public

    Programs and Proofs -- Spring 2025 -- IITM

    Rocq Prover 22 7

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.