https://github.com/chobbes/icfp-captioning • Science 10%

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

Playing with reactive banana for fun and profit.

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

Catagory theory exercises in Agda.

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

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

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

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

https://github.com/chobbes/icfp-captioning-2023 • Science 13%

https://github.com/chocogangsta/belajar • Science 13%

https://github.com/chocoteam/pychoco • Science 93%

https://github.com/chocoteam/chocoteam.github.io • Science 13%

Choco website

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

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

waetr • Science 13%

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

maths.genealogy • Science 26%

Mathematics PhD Genealogy Data and Plotting

anomalib • Science 36%

gwaswa • Science 26%

xguard • Science 49%

openris • Science 36%

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

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.

pursuing-smooth-pursuits-poster • Science 57%

Repository for the research master poster conference at UvA

xtal2txt • Science 54%

-sub-terahertz-fruit-sensing • Science 26%