fengzigg Goto Github PK

alexeyignatiev.github.io

Personal webpage

amcxbc

anchor-experiments

Experiments for AAAI anchor paper

approxmc

Approximate Model Counter

awesome-cn

超赞列表合集

aws-elastic-beanstalk-express-js-sample

Sample web application for the AWS DevOps Engineer Learning Path.

bilibili

backend source code

bilibili-api-collect

哔哩哔哩-API收集整理【不断更新中....】

bilibili-go

binoct

Binary Programming Formulation for Learning Classification Trees Using Cplex

blogcomments

bob-plugin-akl-deepl-free-translate

免费无限次使用deepl,根据网页版JavaScript加密算法开发的bobplugin;所以只要官网的算法不该,理论上就可以无限使用

books-latex

一些latex书籍

bottle

bottle.py is a fast and simple micro-framework for python web-applications.

cheetah

Whisper & GPT-based app for passing remote SWE interviews

chinese-poetry

最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。

chromeappheroes

🌈谷粒-Chrome插件英雄榜, 为优秀的Chrome插件写一本中文说明书, 让Chrome插件英雄们造福人类~ ChromePluginHeroes, Write a Chinese manual for the excellent Chrome plugin, let the Chrome plugin heroes benefit the human~

coding-interview-university

A complete computer science study plan to become a software engineer.

complete-python-3-bootcamp

Course Files for Complete Python 3 Bootcamp Course on Udemy

complexity-resources

Resources and notes on computational complexity theory

coqlf

Exercises for Logical Foundations

cryptominisat

An advanced SAT solver

cs-180

UCLA CS 180

css-exercises

csterminology

计算机术语库 csv格式

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

datingapp

deep-learning-interview-book

深度学习面试宝典（含数学、机器学习、深度学习、计算机视觉、自然语言处理和SLAM等方向）

ecnu-courses

华东师范大学计算数学 与 上海交通大学金融学 课程ppt备份

emacs.d

An Emacs configuration bundle with batteries included