Pinned Repositories
18S191
Course 18.S191 at MIT, fall 2020 - Introduction to computational thinking with Julia:
arjunv27.github.io
slides
eth-sdk
Type-safe, lightweight SDKs for Ethereum smart contracts
flk2
genericReducers
haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
haskell-katas
Simple Exercises in Haskell, using HSpec
haskell-resources
A List of Foundational Haskell Papers
invoicer-chapter2
The invoicer for Chapter 2 of Securing DevOps
KV-subnet-evm
arjunv27's Repositories
arjunv27/18S191
Course 18.S191 at MIT, fall 2020 - Introduction to computational thinking with Julia:
arjunv27/arjunv27.github.io
slides
arjunv27/eth-sdk
Type-safe, lightweight SDKs for Ethereum smart contracts
arjunv27/flk2
arjunv27/genericReducers
arjunv27/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
arjunv27/haskell-katas
Simple Exercises in Haskell, using HSpec
arjunv27/haskell-resources
A List of Foundational Haskell Papers
arjunv27/invoicer-chapter2
The invoicer for Chapter 2 of Securing DevOps
arjunv27/KV-subnet-evm
arjunv27/nixpkgs
Nix Packages collection
arjunv27/nocode
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
arjunv27/papers-we-love
Papers from the computer science community to read and discuss.
arjunv27/todo-rest
Example of usage polysemy and servant
arjunv27/up-to-date-real-world-haskell
I'm trying to update the Real World Haskell book
arjunv27/veRICKS
veRICKS are RICKS from another dimension. The veRICKS Protocol fractionalizes an NFT (ERC-721) into shards (ERC-20). veRICKS Protocol ensures shards can be converted back into the corresponding NFT.