sysang

sysang's Stars

• coleifer/peewee

  a small, expressive orm -- supports postgresql, mysql, sqlite and cockroachdb

  Language:Python11.2k1992.5k1.4k

• dair-ai/ML-Papers-of-the-Week

  🔥Highlighting the top ML papers every week.

  10.3k8675601

• pyro-ppl/pyro

  Deep universal probabilistic programming with Python and PyTorch

  Language:Python8.6k2001.1k986

• tortoise/tortoise-orm

  Familiar asyncio ORM for python, built with relations in mind

  Language:Python4.7k511.1k392

• hynek/structlog

  Simple, powerful, and fast logging for Python.

  Language:Python3.6k35341226

• mravanelli/pytorch-kaldi

  pytorch-kaldi is a project for developing state-of-the-art DNN/RNN hybrid speech recognition systems. The DNN part is managed by pytorch, while feature extraction, label computation, and decoding are performed with the kaldi toolkit.

  Language:Python2.4k94214446

• FasterDecoding/Medusa

  Medusa: Simple Framework for Accelerating LLM Generation with Multiple Decoding Heads

  Language:Jupyter Notebook2.3k3190158

• astanin/python-tabulate

  Pretty-print tabular data in Python, a library and a command-line utility. Repository migrated from bitbucket.org/astanin/python-tabulate.

  Language:Python2.2k24234164

• sienori/Tab-Session-Manager

  WebExtensions for restoring and saving window / tab states

  Language:JavaScript1.9k511k188

• clojure/core.logic

  A logic programming library for Clojure & ClojureScript

  Language:Clojure1.4k1040123

• bgavran/Category_Theory_Machine_Learning

  List of papers studying machine learning through the lens of category theory

  Language:Python1.3k69073

• instructlab/instructlab

  InstructLab Command-Line Interface. Use this to chat with a model and execute the InstructLab workflow to train a model using custom taxonomy data.

  Language:Python96348914331

• pkumod/gStore

  gStore - a graph based RDF triple store.

  Language:C++7903987208

• potassco/clingo

  🤔 A grounder and solver for logic programs.

  Language:C++6183435782

• google-research-datasets/paws

  This dataset contains 108,463 human-labeled and 656k noisily labeled pairs that feature the importance of modeling structure, context, and word order information for the problem of paraphrase identification.

  Language:Python555141452

• jonase/learndatalogtoday

  Interactive Datalog Tutorial

  Language:Clojure352192153

• learnyouahaskell/learnyouahaskell.github.io

  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

  Language:HTML317101839

• vprover/vampire

  The Vampire Theorem Prover

  Language:C++2982415252

• artyom-beilis/dlprimitives

  Deep Learning Primitives and Mini-Framework for OpenCL

  Language:C++174111516

• opencog/learn

  Neuro-symbolic interpretation learning (mostly just language-learning, for now)

  Language:Scheme13722633

• nestauk/ojd_daps_skills

  Nesta's Skills Extractor Library

  Language:Python1231214319

• madnight/awesome-category-theory

  A curated list of awesome Category Theory resources.

  72303

• isabelle-prover/mirror-isabelle

  Git mirror of https://isabelle.in.tum.de/repos/isabelle

  Language:Isabelle646014

• spechub/Hets

  The Heterogeneous Tool Set

  Language:Haskell57211.8k19

• karmaresearch/vlog

  Language:C++5513819

• abrandoned/murmur2

  Murmur2 Hashes in ansi C

  Language:C513012

• explosion/murmurhash

  💥 Cython bindings for MurmurHash2

  Language:C++43131020

• xieyuheng/logic-db

  Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

  Language:TypeScript17301

• symato/physics_of_llms

  Các thí nghiệm liên quan tới LLMs cho tiếng Việt (insprised by Physics of LLMs Series)

  Language:Python5401

• FSCHOEN/CO-PLM

  CO-PLM is a core ontology for Product Lifecycle Management based on the foundational ontology DOLCE+DnS Ultralite (DUL).

  3400