Giters
Haewook Kim (hkimm1m)

hkimm1m

Geek Repo

6

followers

24

following

209

stars

Location:Tustin, California, USA

Github PK Tool:Github PK Tool

Haewook Kim's starred repositories

chromesthesia

Find out what song is playing in a Chrome tab

Language:JavaScriptLicense:MITStargazers:16Issues:0Issues:0

Soccermatics

A template for creating a course with readthedocs.

Language:PythonLicense:MITStargazers:63Issues:0Issues:0

checklist

OpenGenus Checklist project: Learn everything at your own pace and keep track 🐐 Pioneering the future of organized sequential knowledge

Language:HTMLLicense:GPL-3.0Stargazers:29Issues:0Issues:0

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptLicense:Apache-2.0Stargazers:802Issues:0Issues:0

Quandl-Guide-AlgoTrading101

This repo contains the code used for our Quandl guide: https://algotrading101.com/learn/quandl-guide. Author: Igor Radovanovic

Language:Jupyter NotebookStargazers:8Issues:0Issues:0

machine-learning-zoomcamp

Learn ML engineering for free in 4 months!

Language:Jupyter NotebookStargazers:9373Issues:0Issues:0

mlbookcamp-page

The webpage for ML Bookcamp

Language:HTMLStargazers:16Issues:0Issues:0

mlbookcamp-code

The code from the Machine Learning Bookcamp book

Language:Jupyter NotebookStargazers:280Issues:0Issues:0

mlops-zoomcamp

Free MLOps course from DataTalks.Club

Language:Jupyter NotebookStargazers:11028Issues:0Issues:0

cnes-pylint-extension

cnes-pylint-extension is a python checker, which adds CNES specific checks to pylint.

Language:PythonLicense:GPL-3.0Stargazers:4Issues:0Issues:0

sonarqube-catlab

Docker version of SonarQube with preconfigured plugins and settings dedicated to Continuous Integration.

Language:PythonLicense:GPL-3.0Stargazers:9Issues:0Issues:0

mlflow

Open source platform for the machine learning lifecycle

Language:PythonLicense:Apache-2.0Stargazers:18427Issues:0Issues:0

Awesome-pytorch-list

A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.

Stargazers:15342Issues:0Issues:0

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Language:PythonLicense:Apache-2.0Stargazers:33283Issues:0Issues:0

Mask_RCNN

Mask R-CNN for object detection and instance segmentation on Keras and TensorFlow

Language:PythonLicense:NOASSERTIONStargazers:24568Issues:0Issues:0

openpose

OpenPose: Real-time multi-person keypoint detection library for body, face, hands, and foot estimation

Language:C++License:NOASSERTIONStargazers:30937Issues:0Issues:0

fiftyone

Refine high-quality datasets and visual AI models

Language:PythonLicense:Apache-2.0Stargazers:8662Issues:0Issues:0

cookiecutter-data-science

A logical, reasonably standardized, but flexible project structure for doing and sharing data science work.

Language:PythonLicense:MITStargazers:8229Issues:0Issues:0

forem

For empowering community 🌱

Language:RubyLicense:AGPL-3.0Stargazers:21928Issues:0Issues:0

sig-interoperability

CDF Interoperability SIG

License:Apache-2.0Stargazers:63Issues:0Issues:0

sig-mlops

CDF SIG MLOps

License:Apache-2.0Stargazers:599Issues:0Issues:0

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2675Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2478Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4554Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4806Issues:0Issues:0

metamath-exe

Metamath program - source code for the Metamath executable

Language:CLicense:GPL-2.0Stargazers:77Issues:0Issues:0

hol-light

The HOL Light theorem prover

Language:OCamlLicense:NOASSERTIONStargazers:416Issues:0Issues:0

candle

The Candle theorem prover (fork of the HOL Light sources)

Language:OCamlLicense:NOASSERTIONStargazers:11Issues:0Issues:0

developer-docs

Developer documentation for Thunderbird contributors.

Stargazers:81Issues:0Issues:0

awesome-machine-learning

A curated list of awesome Machine Learning frameworks, libraries and software.

Language:PythonLicense:NOASSERTIONStargazers:65558Issues:0Issues:0