pechersky Goto Github PK

action

a GitHub action to run `pre-commit`

applied-fp-course

awslambda-psycopg2

dotfiles

Personal dotfiles

e222

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

flypitch

A formal proof of the independence of the continuum hypothesis

fp-course

Functional Programming Course

gouvea

Formalizing Gouvea's p-adic numbers textbook

haskell-numpy-docs

Examples of Haskell versions of Numpy usage

haskell-word2vec

A haskell implementation of word2vec

hs-advent2017

Haskell solutions to Advent of Code 2017

hs-euler

Haskell solutions to Euler problems

hs-otw

Haskell solutions to OverTheWire wargames

keras

Deep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on Theano or TensorFlow.

keras-molecules

Autoencoder network for learning a continuous representation of molecular structures.

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

A comprehensive macromolecular library

molstar-docs

nyccovid

Plotting nyccovid data from coronavirus-data

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

sendoff

The minimal SDF metadata parser

std4

Standard Library for Lean 4