Karl-Oskar Rikås's starred repositories
plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
system_design
Preparation links and resources for system design questions
bugs-dot-jar
Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair
apply-refact
Refactor Haskell source files
ai-platform-samples
Official Repo for Google Cloud AI Platform. Find samples for Vertex AI, Google Cloud's new unified ML platform at: https://github.com/GoogleCloudPlatform/vertex-ai-samples
interactive-coding-challenges
120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.
CodeSearchNet
Datasets, tools, and benchmarks for representation learning of code.
awesome-machine-learning-on-source-code
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
monad-bayes
A library for probabilistic programming in Haskell.
haskell-trace-types
Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"