Pinned Repositories
cyclone-physics-rs
Cyclone Physics Engine
designPatterns
Head First Design Patterns
gossip-glomers-rs
A series of distributed systems challenges brought to you by Fly.io.(https://fly.io/dist-sys/)
heyrutvik.github.io
my blog
nbe-a-tutorial
Checking Dependent Types with Normalization by Evaluation
scala-notes
Notes on Scala, off the top of my head.
simple-lang
SIMPLE language implementation in Scala. It is a toy language which is explained in Tom Stuart's book Understanding Computation.
turing
Turing machine DSL and simulator
uring
io_uring library for Rust
yCombinator
search for string from Hacker News (Y Combinator)
heyrutvik's Repositories
heyrutvik/cyclone-physics-rs
Cyclone Physics Engine
heyrutvik/scala-notes
Notes on Scala, off the top of my head.
heyrutvik/pikelet
🥞 (Please don’t repost, this is still a WIP) A friendly little systems language with first-class types.
heyrutvik/playground
heyrutvik/turing
Turing machine DSL and simulator
heyrutvik/turing-script-rs
loosely based on https://github.com/heyrutvik/turing
heyrutvik/zio-http
A scala library to write Http apps.
heyrutvik/proc-stat
heyrutvik/roarer
heyrutvik/arrow-rs
Official Rust implementation of Apache Arrow
heyrutvik/async-bb8-diesel
Safe asynchronous access to Diesel and the bb8 connection manager
heyrutvik/async-io
Async I/O and timers
heyrutvik/async-std
Async version of the Rust standard library
heyrutvik/bb8-diesel
bb8 connection manager for Diesel
heyrutvik/cats-retry
heyrutvik/diesel
A safe, extensible ORM and Query Builder for Rust
heyrutvik/diesel-error-demo
heyrutvik/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
heyrutvik/futures-rs
Zero-cost asynchronous programming in Rust
heyrutvik/goose
Load testing framework, inspired by Locust
heyrutvik/handson-ml2
A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
heyrutvik/intellij-haskell
IntelliJ plugin for Haskell
heyrutvik/Monocle
Optics library for Scala
heyrutvik/pie-hs
An implementation of Pie in Haskell
heyrutvik/postfix
heyrutvik/rust-nbe-for-mltt
Danny Gratzer's implementation of Normalization by Evaluation for Martin-Löf Type Theory, ported to Rust
heyrutvik/stripe-mock
stripe-mock is a mock HTTP server that responds like the real Stripe API. It can be used instead of Stripe's testmode to make test suites integrating with Stripe faster and less brittle.
heyrutvik/turing-script-hs
heyrutvik/unison
Next generation programming language, currently in development
heyrutvik/vue-google-charts
Reactive Vue.js wrapper for Google Charts lib