kayceesrk
CTO @tarides, @ocaml core developer, CS Professor with an interest in concurrency and correctness at all levels.
Tarides and IIT MadrasChennai, India
kayceesrk's Stars
nushell/nushell
A new type of shell
kuchin/awesome-cto
A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups
pyro-ppl/pyro
Deep universal probabilistic programming with Python and PyTorch
iamtrask/Grokking-Deep-Learning
this repository accompanies the book "Grokking Deep Learning"
jart/blink
tiniest x86-64-linux emulator
tokio-rs/console
a debugger for async rust!
xldenis/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
cs3110/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
jitinnair1/gradfolio
responsive, dark-mode ready Jekyll theme designed for use as a personal website and portfolio
emeryberger/scalene
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python
kayceesrk/ocaml5-tutorial
A hands-on tutorial on the new parallelism features in OCaml 5
ocaml-multicore/awesome-multicore-ocaml
A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
hydro-project/katara
Synthesize CRDTs from classic data types with verified lifting!
lexi-lambda/eff
🚧 a work in progress effect system for Haskell 🚧
jmid/mutaml
An OCaml mutation tester
dinosaure/gilbraltar
MirageOS on RPi4
dhil/ocaml-multicont
multi-shot continuations in OCaml
ArulselvanMadhavan/mini_dalle
mini-dalle in OCaml
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml
patricoferris/meio
Monitor Eio programs
fabbing/obts_exn
OCaml behind the scenes: exceptions
ocamllabs/ocaml-memory-model
sadiqj/runtime_events_tools
ocaml-multicore/retro-httpaf-bench
Benchmarking environment for http servers
imandra-ai/vega-lite
OCaml library to produce vega-lite visualizations (as json objects)
kayceesrk/cs3300_m22
CS3300 Compiler Design @ CSE IIT Madras
ocaml-multicore/hdr_histogram_ocaml
songyahui/AlgebraicEffect
effects system for continuation
ocaml-multicore/multicore-ocaml-verify
Verifying bits of Multicore OCaml implementation
ocaml-bench/sandmark-nightly-config
Configuration files to run sandmark-nightly