pechersky

haskell-numpy-docs

Examples of Haskell versions of Numpy usage

sendoff

The minimal SDF metadata parser

hs-advent2017

Haskell solutions to Advent of Code 2017

hs-euler

Haskell solutions to Euler problems

hs-otw

Haskell solutions to OverTheWire wargames

keras-molecules

Autoencoder network for learning a continuous representation of molecular structures.

action

a GitHub action to run `pre-commit`

applied-fp-course

e222

Formalization of Benedict Gross's E-222 lectures using Lean

molstar

A comprehensive macromolecular library

nyccovid

Plotting nyccovid data from coronavirus-data

awslambda-psycopg2

dotfiles

Personal dotfiles

flypitch

A formal proof of the independence of the continuum hypothesis

fp-course

Functional Programming Course

gouvea

Formalizing Gouvea's p-adic numbers textbook

lean

Lean Theorem Prover

lean4-filters

thinking about a "filter game" in Lean 4.

leancrawler

A python library which gathers statistics and relational information about Lean libraries.

mathlib

Lean mathematical components library

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

molstar-docs

openmm

OpenMM is a toolkit for molecular simulation using high performance GPU code.

pechersky.github.io

Personal github website

poetry

Python dependency management and packaging made easy.

rdkit

The official sources for the RDKit library

scheme

Write You a Scheme

std4

Standard Library for Lean 4

theorem_proving_in_lean

Theorem proving in Lean

unix-time

Fast time library