Pinned Repositories
lf-flexpret
Data determinism (LF) meets time determinism (FlexPRET).
lf-verifier-benchmarks
A benchmark suite for LF verifiers
lingua-franca
Intuitive concurrent programming in any language
CalPilot
A copilot for calendars
chatgpt-on-wechat
Wechat robot based on ChatGPT, which using OpenAI api and itchat library.
CQSD
EECS249A-Lingua-Franca-FlexPRET
flexpret
flexpret
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
lsk567's Repositories
lsk567/EECS249A-Lingua-Franca-FlexPRET
lsk567/chatgpt-on-wechat
Wechat robot based on ChatGPT, which using OpenAI api and itchat library.
lsk567/flexpret
lsk567/CalPilot
A copilot for calendars
lsk567/CQSD
lsk567/Craft-LF
An LF port of a simple Minecraft clone written in C using modern OpenGL (shaders).
lsk567/deep-fonts
Generate fonts using deep learning
lsk567/reactor_contracts
lsk567/cs294-260-sp24
lsk567/cs294-final-report
lsk567/EIPs
The Ethereum Improvement Proposal repository
lsk567/fpga_labs_fa22
lsk567/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
lsk567/lf-flexpret-scripts
LF/FlexPRET project misc scripts
lsk567/lf-verifier-playground
lsk567/lf-wiki-gitbook
Generate GitBook style modern docs/tutorial websites using Gatsby + MDX
lsk567/logic-dsl
lsk567/LOL
lsk567/lsk567.github.io
Personal website
lsk567/pycflow2dot
Layout C call graphs from cflow using GraphViz dot
lsk567/pythagoras-tree
lsk567/researcher
A jekyll based resume template
lsk567/ScheduleTestManual
A manually written example of an LF program executing under a fully static (FS) scheduler
lsk567/Serverlessnet
lsk567/shaokai.github.io
lsk567/Travel-Assistant
lsk567/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems