westtide

westtide's Stars

• GoogleChromeLabs/squoosh

  Make images smaller using best-in-class codecs, right in the browser.

  Language:TypeScript21.8k2435981.5k

• blackmatrix7/ios_rule_script

  分流规则、重写写规则及脚本。

  Language:JavaScript17.6k2471.1k2.8k

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.4k1381.7k872

• eliben/pycparser

  :snake: Complete C99 parser in pure Python

  Language:Python3.2k93364611

• Zjh-819/LLMDataHub

  A quick guide (especially) for trending instruction finetuning datasets

  2.5k463160

• taocpp/PEGTL

  Parsing Expression Grammar Template Library

  Language:C++1.9k65170229

• jneen/parsimmon

  A monadic LL(infinity) parser combinator library for javascript

  Language:JavaScript1.2k18186126

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++7692347397

• CatMe0w/zouxian

  Permanent Apple Intelligence + Xcode Predictive Code Completion for Chinese-market Mac computers

  Language:Shell67961324

• skyzh/chicv

  A minimal and fully-customizable CV template for Typst.

  Language:Typst5944143

• openSUSE/libsolv

  Library for solving packages and reading repositories

  Language:C51733319152

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq43545228160

• egraphs-good/egglog

  egraphs + datalog!

  Language:Rust4221615446

• akarsh1995/leetcode-graphql-queries

  Create leetcode plugins for your code editor, extensions for web browser, etc. from the graphql queries of various leetcode web pages.

  1594511

• j991222/ai4math-papers

  AI for Mathematics (AI4Math) paper list

  126726

• zhaoyu-li/DL4TP

  [COLM 2024] A Survey on Deep Learning for Theorem Proving

  124607

• LPeter1997/CppCmb

  A generic C++17 parser-combinator library with a natural grammar notation.

  Language:C++123478

• uuverifiers/eldarica

  The Eldarica model checker

  Language:Scala8055222

• leanprover-community/lean-auto

  Experiments in automation for Lean

  Language:Lean6781610

• PrincetonUniversity/jobstats

  Language:Python5051410

• trishullab/PutnamBench

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

  Language:Lean484156

• Vulnerability-Detection/z3-study

  z3 solver 学习

  Language:Python44204

• gussmith23/lakeroad

  FPGA synthesis tool powered by program synthesis

  Language:Racket3762626

• purdue-cap/DryadSynth

  A SyGuS Solver

  Language:C++22427

• uuverifiers/princess

  The Princess Theorem Prover

  Language:Scala214105

• icsnju/MetaMut

  MetaMut is a mutation operator generator to facilitate compiler fuzzing.

  Language:C++18410

• xjq7/lc-helper

  leetcode 辅助，自动化完成每日任务领取积分

  Language:TypeScript141223

• sun-wendy/DafnyBench

  DafnyBench: A Benchmark for Formal Software Verification

  Language:Dafny13103

• Gy-Hu/pyPDR

  Implementation of IC3/PDR algorithm with z3py (AIGER 1.0 supported)

  Language:Python30

• ChenchengLiang/Relational-Hypergraph-Neural-Network-PyG

  Implementaion by PyG

  Language:Python11