thelyad

thelyad's Stars

• xiye17/ArXivFocus

  A Chrome extension to help quickly go through arxiv papers by allowing hiding papers containing specific keywords

  Language:JavaScript2

• SLIIT-HCI/gradescope-scripts

  Scripts to clean and bulk upload programming assignments to gradescope

  Language:Python3

• trishullab/PutnamBench

  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

  Language:Lean6810

• wiio12/LEGO-Prover

  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries

  Language:Python574

• wellecks/ntptutorial

  Tutorial on neural theorem proving

  Language:Jupyter Notebook16315

• openai/miniF2F

  Formal to Formal Mathematics Benchmark

  Language:Objective-C++32645

• cmu-l3/ntp-toolkit

  Neural theorem proving toolkit: data extraction tools for Lean 4

  Language:Lean182

• josepablocam/renter

  Language:Python2

• UCSD-PL/proverbot9001

  Language:Coq3918

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k109

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.7k352

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda24.8k2.8k

• HypothesisWorks/hypothesis

  Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

  Language:Python7.6k588

• keyboardDrummer/Miksilo

  The fastest way to build a language

  Language:Scala401

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k265

• Mondego/dafny-synthesis

  Towards AI-Assisted Synthesis of Verified Dafny Methods

  Language:Dafny36

• mermaid-js/mermaid-live-editor

  Edit, preview and share mermaid charts/diagrams. New implementation of the live editor.

  Language:TypeScript4.4k678

• tatsu-lab/gpt_paper_assistant

  GPT4 based personalized ArXiv paper assistant bot

  Language:Python495123

• kupl/VeriSmart-public

  a safety verifier for Solidity smart contracts

  Language:OCaml9324

• salesforce/CodeT5

  Home of CodeT5: Open Code LLMs for Code Understanding and Generation

  Language:Python2.8k427

• xiye17/CachedLMQuery

  Toolkit for prompting and caching query results.

  Language:Python4

• LibrePhotos/librephotos

  A self-hosted open source photo management service. This is the repository of the backend.

  Language:Python7.1k309

• xiye17/SAT-LM

  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)

  Language:Python437

• edemaine/author-stack-paper

  "Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack

  Language:TeX108

• wcventure/FuzzingPaper

  Recent Fuzzing Paper

  2.5k365

• OurGuru/Offline-Reverse-Image-Search

  Language:Python60

• kingyiusuen/clip-image-search

  Search images with a text or image query, using Open AI's pretrained CLIP model.

  Language:Python21524

• xemle/home-gallery

  Self-hosted open-source web gallery to view your photos and videos featuring mobile-friendly, tagging and AI powered image discovery

  Language:JavaScript85766

• photonixapp/photonix

  A modern, web-based photo management server. Run it on your home server and it will let you find the right photo from your collection on any device. Smart filtering is made possible by object recognition, face recognition, location awareness, color analysis and other ML algorithms.

  Language:Python1.9k127

• srush/MiniChain

  A tiny library for coding with large language models.

  Language:Python1.2k74