prismlab/aicte-compilers-lecture-2021 prismlab/aicte-compilers-lecture-2021

  • Stars
    star
    4
  • Rank 3,288,162 (Top 66 %)
  • Language F*
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
prismlab/aicte-compilers-lecture-2021
github

prismlab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lecture materials for the invited talk at AICTE Compilers Short term course (Jan 2021)

More Repositories

1

irmin-scylla

implementation of irmin-scylla
OCaml
11
star
2

peepul

Certified implmentations of mergeable replicated data types
F*
7
star
3

docs

Repo to host general wikis!
3
star
4

ocaml-gc-hacking

OCaml
3
star
5

retro-concurrency

Retrofitting Concurrency onto OCaml (OCaml effect handlers paper)
Jupyter Notebook
2
star
6

ipfs-dockerfiles

Dockerfile
1
star