try-skycn

try-skycn's Stars

• 996icu/996.ICU

  Repo for counting stars and contributing. Press F to pay respect to glorious developers.

  270k4.2k021.1k

• stanfordnlp/dspy

  DSPy: The framework for programming—not prompting—language models

  Language:Python20.5k1528901.5k

• antlr/grammars-v4

  Grammars written for ANTLR v4; expectation that the grammars are free of actions.

  Language:ANTLR10.3k2291.5k3.7k

• lollipopkit/flutter_server_box

  ServerBox - server status & toolbox

  Language:Dart5.1k31451325

• allenai/OLMo

  Modeling, training, eval, and inference code for OLMo

  Language:Python4.9k49209510

• LantaoYu/MARL-Papers

  Paper list of multi-agent reinforcement learning (MARL)

  4.1k2409733

• niklasf/python-chess

  A chess library for Python, with move generation and validation, PGN parsing and writing, Polyglot opening book reading, Gaviota tablebase probing, Syzygy tablebase probing, and UCI/XBoard engine communication

  Language:Python2.5k72717531

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.6k36428356

• bgavran/Category_Theory_Machine_Learning

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

  Language:Python1.3k71078

• arxiv-vanity/engrafo

  Convert LaTeX documents into beautiful responsive web pages using LaTeXML.

  Language:HTML1.1k1631991

• huybery/Awesome-Code-LLM

  👨‍💻 An awesome and curated list of best code-LLM for research.

  1k34962

• ellisk42/ec

  Language:Slash4942231140

• yuce/pyswip

  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

  Language:Python488339898

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript37373410

• gpeyre/2015-SIGGRAPH-convolutional-ot

  J. Solomon, F. de Goes, G. Peyré, M. Cuturi, A. Butscher, A. Nguyen, T. Du, L. Guibas. Convolutional Wasserstein Distances: Efficient Optimal Transportation on Geometric Domains. ACM Transactions on Graphics (Proc. SIGGRAPH 2015), 34(4), pp. 66:1–66:11, 2015

  Language:Matlab10310137

• breannansmith/scisim

  A 2D and 3D rigid body simulation framework with a focus on preserving core physical properties.

  Language:C++896616

• Dsqvival/hierarchical-structure-analysis

  Algorithm and Data for paper "Automatic Detection of Hierarchical Structure and Influence of Structure on Melody, Harmony and Rhythm in Popular Music"

  Language:Python892310

• valeriobasile/learningbyreading

  Learning by Reading pipeline of NLP and Entity Linking tools

  Language:C83132224

• czyssrs/Logic2Text

  Data and code for EMNLP 2020 paper "Logic2Text: High-Fidelity Natural Language Generation from Logical Forms"

  Language:HTML70349

• dryruner/imagecrawler

  An image crawler implemented in shell script

  Language:Shell614414

• madvorak/lean4-tactics

  Overview of tactics in Lean 4 for beginners — longer version

  60402

• xiumingzhang/cheatsheets

  Frequently Used Unix, FFmpeg, and ImageMagick Commands

  503010

• ZZWaang/whole-song-gen

  Language:Python32222

• chrzyki/candc

  A repository containing the original C&C CCG parser sources and newer modifications

  Language:C253211

• madvorak/lean3-tactic-lean4

  Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4

  25102

• abcdabcd987/ray-tracing

  Ray Tracing

  Language:C++21400

• valeriobasile/candcapi

  HTTP API to access the C&C/Boxer pipeline

  Language:Python18514

• xiumingzhang/util

  My Non-Python Utility Functions

  Language:Shell16212

• MAXEE998/NYUSH-HPC-GPU-Enabled-Pytorch-Computation-Jupyter-Notebook-Setup

  Language:Jupyter Notebook6101

• hanqizhang/notes_nyuhpc

  Notes for setting up the NYU Greene HPC and NYU Shanghai HPC

  Language:Shell210