Lizn-zn

Happiness is assuming the world is linear

Pinned Repositories

DNNOpAcc
Language:Python10 1 04
egg
egg is a flexible, high-performance e-graph library
Language:Rust0 0 00
Joader
Language:Rust0 0 00
lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Language:Lean0 0 00
lean-smt
Tactics for discharging Lean goals into SMT solvers.
Language:Lean1 0 00
Nesy-Programming
Language:Python7 2 13
Op-QA
Language:Python2 1 00
pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:Python2 0 00
Stock-Model
A model which try to predict the stock market in China.
Language:Python3 2 02
Uncertainty-Alignment
Uncertainty Alignment for Regression Error Reduction
Language:Python4 1 00

Lizn-zn's Repositories

Lizn-zn/DNNOpAcc
Language:Python10 1 04
Lizn-zn/Nesy-Programming
Language:Python7 2 13
Lizn-zn/Uncertainty-Alignment
Uncertainty Alignment for Regression Error Reduction
Language:Python4 1 00
Lizn-zn/Stock-Model
A model which try to predict the stock market in China.
Language:Python3 2 02
Lizn-zn/Op-QA
Language:Python2 1 00
Lizn-zn/pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:Python2 0 00
Lizn-zn/lean-smt
Tactics for discharging Lean goals into SMT solvers.
Language:Lean1 0 00
Lizn-zn/egg
egg is a flexible, high-performance e-graph library
Language:Rust0 0 00
Lizn-zn/Joader
Language:Rust0 0 00
Lizn-zn/lean-cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Language:Lean0 0 00
Lizn-zn/MT-Solver
Language:JetBrains MPS0 1 10
Lizn-zn/Nonconvex-QCQP
Solving the non-convex QCQP problem
Language:TeX0 0 02
Lizn-zn/Lizn-zn.github.io
Language:HTML
Lizn-zn/mexprp
A math expression evaluation library for rust
Lizn-zn/optlib
Lizn-zn/Triple-SOS
Automatic sum of square representation calculator. SOStools specialized for three variables.
Language:Python0 0