samminweng

Min-Hsien Weng's starred repositories

rsync4j

Simple Java wrapper for rsync for Linux, OSX and Windows.

Language:JavaGPL-3.010500

llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

Language:PythonMIT10100

instless_comp

Instruction-less computation

Language:CMIT1700

lisa

Proof assistant based on first-order logic and set theory

Language:ScalaApache-2.03100

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Language:C++MIT84700

certified-reasoning

Certified Reasoning with Language Models

Language:PythonMIT2600

Taiwan-LLM

Traditional Mandarin LLMs for Taiwan

Language:PythonApache-2.093800

Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

Language:PythonBSD-3-Clause4800

ReProver

Retrieval-Augmented Theorem Provers for Lean

Language:PythonMIT18300

WhileyOpenCL

Aims to produce efficient implemtation for verification friendly Whiley programs.

Language:CGPL-3.0500

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Language:PythonMIT46800

yolov7

Implementation of paper - YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors

Language:Jupyter NotebookGPL-3.01298600

xla

A machine learning compiler for GPUs, CPUs, and ML accelerators

Language:C++Apache-2.0238200

ivy

The Unified AI Framework

Language:PythonNOASSERTION1402400

CoreNLP

CoreNLP: A Java suite of core NLP tools for tokenization, sentence segmentation, NER, parsing, coreference, sentiment analysis, etc.

Language:JavaGPL-3.0955000

zju-icicles

浙江大学课程攻略共享计划

Language:HTML3650200

deep-learning-with-keras-notebooks

Jupyter notebooks for using & learning Keras

Language:Jupyter Notebook216800

sling

SLING - A natural language frame semantics parser

Language:C++Apache-2.0192500

gocv

Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, and OpenCV Contrib.

Language:GoNOASSERTION641500

onnx

Open standard for machine learning interoperability

Language:PythonApache-2.01718700

WhileyCompiler

The Whiley Compiler (WyC)

Language:JavaApache-2.021600