-
lean4_tutorials Public
Collection of worked out exercises and examples in lean4
Lean UpdatedMar 9, 2025 -
typer-cli Public
Forked from tiangolo/typer-cliRun Typer scripts with completion, without having to create a package, using Typer CLI.
Python MIT License UpdatedSep 29, 2022 -
rdkit Public
Forked from rdkit/rdkitThe official sources for the RDKit library
HTML BSD 3-Clause "New" or "Revised" License UpdatedJan 26, 2022 -
-
-
pymol-open-source Public
Forked from schrodinger/pymol-open-sourceOpen-source foundation of the user-sponsored PyMOL molecular visualization system.
C Other UpdatedJul 7, 2021 -
deepchem Public
Forked from deepchem/deepchemDemocratizing Deep-Learning for Drug Discovery, Quantum Chemistry, Materials Science and Biology
-
-
doit Public
Forked from pydoit/doittask management & automation tool
Python MIT License UpdatedApr 19, 2019 -
bluegenes Public
Tools for migrating my blog from wordpress to static site generator
Makefile UpdatedDec 11, 2018 -
python-fitbit Public
Forked from orcasgit/python-fitbitFitbit API Python Client Implementation
Python Other UpdatedOct 26, 2018 -
-
-
-
euler-jms-scala Public
Scala Solutions to Project Euler (drkeoni's version)
-
wgs-utility Public
Working repo for "The Healthcare Utility of Whole-Genome Sequencing"
TeX Other UpdatedJan 28, 2017 -
Burrow-Wheeler Aligner
C GNU General Public License v3.0 UpdatedMar 5, 2013
{{ message }}