Updated 10 months ago

https://github.com/chobbes/bananaday • Science 13%

Playing with reactive banana for fun and profit.

Updated 10 months ago

https://github.com/chobbes/cagdagorytheory • Science 13%

Catagory theory exercises in Agda.

Updated 10 months ago

https://github.com/chobbes/chcheckers • Science 13%

Game of checkers written in Haskell. Will be a wubby-wubsite eventually.

Updated 10 months ago

https://github.com/chobbes/typenotes • Science 13%

Hakyll website with notes for type related things. Theory, Coq, Agda, Idris, and whatever.

Updated 10 months ago

https://github.com/choderalab/drugforge • Science 26%

Toolkit for open antiviral drug discovery by the Choderalab (formerly ASAP)

Updated 10 months ago

waetr • Science 13%

R package for interfacing with Web Accessibility Evaluation Tool (WAVE) API

Updated 10 months ago

maths.genealogy • Science 26%

Mathematics PhD Genealogy Data and Plotting

Updated 10 months ago

anomalib • Science 36%

Updated 10 months ago

gwaswa • Science 26%

Updated 10 months ago

xguard • Science 49%

Updated 10 months ago

openris • Science 36%

OpenRIS is an open-source reconfigurable intelligent surface (RIS) project

Updated 10 months ago

ndarray-base-unary-reduce-strided1d-by • Science 44%

Perform a reduction over a list of specified dimensions in an input ndarray via a one-dimensional strided array reduction function accepting a callback and assign results to a provided output ndarray.

Updated 10 months ago

pursuing-smooth-pursuits-poster • Science 57%

Repository for the research master poster conference at UvA

Updated 10 months ago

xtal2txt • Science 54%