EricGT

EricGT's Stars

• QwenLM/Qwen

  The official repo of Qwen (通义千问) chat & pretrained large language model proposed by Alibaba Cloud.

  Language:Python13.6k1.1k

• AviCraimer/relational-calculus-library-lean4

  Language:Lean82

• vivekoommen/UNetForMicrostructureEvolution

  Rethinking materials simulations: Blending DNS with Neural Operators

  Language:Python15

• google-deepmind/ferminet

  An implementation of the Fermionic Neural Network for ab-initio electronic structure calculations

  Language:Python725122

• lecopivo/SciLeanDemo

  Demo project for SciLean

  Language:Lean31

• nomeata/lean-simplc

  Experimental local confluence checker for Lean simp lemmas

  Language:Lean2

• leanprover/LNSym

  Armv8 Native Code Symbolic Simulator in Lean

  Language:Lean5213

• lean-forward/logical_verification_2024

  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

  Language:Lean243

• languagetool-org/languagetool

  Style and Grammar Checker for 25+ Languages

  Language:Java12.3k1.4k

• ImperialCollegeLondon/formalising-mathematics-2024

  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

  Language:Lean10929

• lm-sys/RouteLLM

  A framework for serving and evaluating LLM routers - save LLM costs without compromising quality!

  Language:Python3k227

• j991222/ai4math-papers

  AI for Mathematics (AI4Math) paper list

  1266

• microsoft/vscode-cpptools

  Official repository for the Microsoft C/C++ extension for VS Code.

  Language:TypeScript5.5k1.5k

• overleaf/overleaf

  A web-based collaborative LaTeX editor

  Language:JavaScript13.9k1.4k

• siddhartha-gadgil/LeanAide

  Tools based on AI for helping with Lean 4

  Language:Jupyter Notebook622

• rtqichen/torchdiffeq

  Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.

  Language:Python5.5k909

• GenomicEPIOX/paper_1463_proteins_19_cancers_UKBB

  Language:Jupyter Notebook51

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq40114

• SJ001/AI-Feynman

  Language:Python636188

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.1k582

• ibm-granite/granite-code-models

  Granite Code Models: A Family of Open Foundation Models for Code Intelligence

  1.1k74

• UnixJunkie/MMO

  Molecular Mechanics in OCaml

  Language:OCaml4

• princeton-nlp/SWE-agent

  SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges.

  Language:Python13.4k1.3k

• revng/revng-c

  Language:C++41630

• mlb2251/stitch

  A scalable abstraction learning library

  Language:Rust718

• gabegrand/lilo

  LILO: Library Induction with Language Observations

  Language:Jupyter Notebook774

• Hannibal046/Awesome-LLM

  Awesome-LLM: a curated list of Large Language Model

  17.7k1.4k

• RiccardoBiosas/LeanGPT

  Experiments with interactive theorem provers, LLMs and formal systems

  Language:Coq172

• truera/trulens

  Evaluation and Tracking for LLM Experiments

  Language:Python2.1k181

• cedar-policy/cedar-awesome

  A curated list of awesome Cedar related tools and articles.

  466