unshorn

datascript

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

functional-programming-jargon

Jargon from the functional programming world in simple terms!

hephaestus

A framework for testing compilers' type checkers

hoare-tut

A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

slides

slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021

alive2

Automatic verification of LLVM optimizations

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

compiler-potpourri

Tools for a compilers course

criticality_score

Gives criticality score for an open source project

cs-video-courses

List of Computer Science courses with video lectures.

datasciencecoursera

datasharing

The Leek group guide to data sharing

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

fp-course

Functional Programming Course

Fuzzing101

A GitHub Security Lab initiative https://securitylab.github.com/

inc

an incremental approach to compiler construction

IncA

Incremental Program Analysis Framework

ml4se

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

mold

mold: A Modern Linker

notes

pdfbox

Mirror of Apache PDFBox

pl-class-public

Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages

pml-book

"Probabilistic Machine Learning" - a book series by Kevin Murphy

ProgrammingAssignment2

Repository for Programming Assignment 2 for R Programming on Coursera

Scalpel

Scalpel: A Python Program Analysis Framework

spectacle

Embedded specification language & model checker in Haskell

t5

unit

Next Generation Visual Programming Platform

yamf

YAMF -- Yet Another Marking Framework. Based on JUnit5, checks based on acceptance tests and static analysis, integrated manual testing, produces reports in plain text, MSWord, highly extensible.