funrep

stan

🕵️ Haskell STatic ANalyser

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

thesis

MSc thesis on: Classifying brain activity using EEG and automated time tracking of computer use (using ActivityWatch)

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.

gumtree

An awesome code differencing tool

hashcode-template

neuron

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

cadenza

every day i'm truffling

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

libDAI

A free and open source C++ library for Discrete Approximate Inference in graphical models

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Probabilistic_Programming

apply-refact

Refactor Haskell source files

navagio

WIP engine project

yagmail

Send email in Python conveniently for gmail using yagmail

rfc

My slides and compilation of resources.

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.

jlex

A lexical analyzer for Java source code written in Python

awesome-machine-learning-on-source-code

Cool links & research papers related to Machine Learning applied to source code (MLonCode)

PatchNetTool

random-fu

A suite of Haskell libraries for representing, manipulating, and sampling random variables

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"

rainier

Bayesian inference in Scala.

prob-programming-examples

haskell-opaleye