https://github.com/daffidwilde/edolab • Science 23%

A command line tool for running experiments with `edo`.

https://github.com/daffidwilde/talks • Science 13%

All of my talks in one place

https://github.com/daffidwilde/edo_exp • Science 13%

Repository for experiments using EDO.

https://github.com/daffidwilde/siam-ukie • Science 13%

My poster on EDO at SIAM UKIE 2020

https://github.com/daffidwilde/pfm • Science 23%

Python for Mathematics: A book aimed at undergraduate mathematicians learning python

https://github.com/dafny-lang/ide-vscode • Science 26%

VSCode IDE Integration for Dafny

https://github.com/dafny-lang/solver-builds • Science 26%

Build infrastructure for solvers to use with Dafny (and other Boogie clients)

https://github.com/dafny-lang/blog • Science 26%

The Dafny blog

https://github.com/dafny-lang/minif2f • Science 26%

Formal to Formal Mathematics Benchmark

https://github.com/dafny-lang/dafny-gradle-plugin • Science 26%

Dafny plugin for Gradle

https://github.com/dafny-lang/compiler-bootstrap • Science 13%

A work-in-progress reimplementation of Dafny's compiler, in Dafny

https://github.com/dafny-lang/rfcs • Science 13%

Dafny request-for-feature discussions

https://github.com/dafny-lang/dafny-reportgenerator • Science 13%

A tool for analyzing and reporting on Dafny, especially the results of verification

https://github.com/dag-ml/nodag • Science 23%

https://github.com/dag-ml/grow-shrink • Science 23%

https://github.com/dagdpz/ecg-behavior-neural-analysis • Science 36%

Analysis of ECG, neural signals and behavior

https://github.com/dagdpz/phys_preprocessing • Science 26%

Electrophysiology preprocessing pipeline

https://github.com/dagdpz/settings • Science 26%

Settings for all types of analysis

https://github.com/dagdpz/gfs_decoding_pulvinar • Science 13%

https://github.com/dagdpz/body_signals_analysis • Science 49%

Analysis of body signals: ECG, breathing (CAP), PPG