Mistral Contrastin's repositories
datalog-crdt
Some CRDT implementations in Datalog
temporalog
A Datalog extension to reason about time with CTL operators
refinement-types-seminar
Material for Liquid Haskell/refinement types seminar at Queens' College
volpano-smith
A compile-time privacy enforcing language embedded in Haskell
vanillalog
A simple Datalog front-end, Haskell DSL, and intermediate representation
verified-leftist-heap
Verified leftist heap implementations in Haskell
all_my_failures
Runs a command for different files in parallel and gathering statistics depending on exit status.
CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
dataflow-repair
Analysis for Datalog dataflow repair in MetaDL: Repairing Datalog in Datalog
dataflow-safe-by-construction
PoC for a dataflow-safe-by-construction Datalog implementation
debugging
Material from the debugging presentation
game-of-life
An adequate Game of Life implementation in Elm
goto-assignment
A proof-of-concept LSP implementation of goto-assignment navigation.
haskellweekly
Publishes curated news about the Haskell programming language.
haskellweekly.github.io
A free email newsletter about the Haskell programming language.
homebrew-core
🍻 Default formulae for the missing package manager for macOS
homebrew-science
:snowflake: Scientific formulae for Homebrew and Linuxbrew (legacy)
infilog
A Datalog to compute with infinite relations in finite time
machine-learning-for-programming-samples
Samples of ML models learning from source code
ml4code.github.io
Website for "A Survey of Machine Learning for Big Code and Naturalness"
monoid-extras
Miscellaneous constructions on monoids
ocaml
The core OCaml system: compilers, runtime system, base libraries
pandoc
Universal markup converter
pretty-print-precedence
Code for the blog post on pretty printing without redundant parentheses
protolog
A simple logic language implementation much like Prolog
vimtex
A modern vim plugin for editing LaTeX files.