MerHS's Stars
gothinkster/realworld
"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more
CompVis/stable-diffusion
A latent text-to-image diffusion model
tldr-pages/tldr
📚 Collaborative cheatsheets for console commands
BurntSushi/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
sharkdp/fd
A simple, fast and user-friendly alternative to 'find'
facebookresearch/faiss
A library for efficient similarity search and clustering of dense vectors.
Lightning-AI/pytorch-lightning
Pretrain, finetune ANY AI model of ANY size on multiple GPUs, TPUs with zero code changes.
microsoft/pyright
Static Type Checker for Python
glideapps/quicktype
Generate types and converters from JSON, Schema, and GraphQL
openai/consistency_models
Official repo for consistency models.
davidhalter/jedi
Awesome autocompletion, static analysis and refactoring library for python
OpenBMB/ToolBench
[ICLR'24 spotlight] An open platform for training, serving, and evaluating large language model for tool learning.
sovrasov/flops-counter.pytorch
Flops counter for convolutional networks in pytorch framework
rxi/lume
Lua functions geared towards gamedev
pytorch/torchdynamo
A Python-level JIT compiler designed to make unmodified PyTorch programs faster.
sirthias/parboiled2
A macro-based PEG parser generator for Scala 2.10+
ropas/pytea
PyTea: PyTorch Tensor shape error analyzer
paroi-tech/direct-vuex
Use and implement your Vuex store with TypeScript types. Compatible with the Vue 3 composition API.
kaist-cp/rv6
jrslepak/Remora
Dependently-typed language with Iverson-style implicit lifting
covalence-io/barebones-react-typescript-express
This project is a basic setup for an app written in TypeScript that has a front-end and back-end using React on the front-end and ExpressJS on the back-end.
HoTT/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
rishikksh20/CeiT-pytorch
Implementation of Convolutional enhanced image Transformer
SergeyKalutsky/vsc
Real time video recording censor
MagpieBridge/MagpieBridge
MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
aqjune/mlir-tv
A translation validation framework for MLIR
math-comp/Abel
A proof of Abel-Ruffini theorem.
theeluwin/pocket-galaxy
내부 작업용 django + vue(vuetify) boilerplate. 짠 하면 돌아감.
snu-sf-class/pp202202
helq/pytropos
Experimental python linter/interpreter intended to check tensor/matrix/arrays operations using NumPy (currently only works in Python 3.6 and Python 3.7)