ankushdas

Pinned Repositories

99-Problems-OCaml
Solving "99 List Problems" using Objective Caml
Language:OCaml0 1 00
ankushdas.github.io
Personal Webpage
Language:HTML0 1 00
cfglp
Language:C++0 0 00
cfglp-1
CFG Language Processor
Language:C++0 0 00
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python0 0 00
Nomos
This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
Language:OCaml23 4 13
P
The P programming language.
Language:C#00
cs320-fall-2024
Course repository for CS320
Language:OCaml42
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python2.8k 42 1.3k3.4k
stlc-type-inference
Language:TeX4 5 01

ankushdas's Repositories

ankushdas/Nomos
This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
Language:OCaml23 4 13
ankushdas/99-Problems-OCaml
Solving "99 List Problems" using Objective Caml
Language:OCaml0 1 00
ankushdas/ankushdas.github.io
Personal Webpage
Language:HTML0 1 00
ankushdas/cfglp
Language:C++0 0 00
ankushdas/cfglp-1
CFG Language Processor
Language:C++0 0 00
ankushdas/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python0 0 00
ankushdas/P
The P programming language.
Language:C#00