lsk567
Follow
-
-
-
-
-
uclid Public
Forked from uclid-org/uclidUCLID5: formal modeling, verification, and synthesis of computational systems
Scala Other UpdatedNov 10, 2023 -
chatgpt-on-wechat Public
Forked from zhayujie/chatgpt-on-wechatWechat robot based on ChatGPT, which using OpenAI api and itchat library.
-
ScheduleTestManual Public
A manually written example of an LF program executing under a fully static (FS) scheduler
C UpdatedJun 19, 2023 -
-
flexpret Public
Forked from pretis/flexpret -
Craft-LF Public
Forked from fogleman/CraftAn LF port of a simple Minecraft clone written in C using modern OpenGL (shaders).
C MIT License UpdatedJan 6, 2023 -
-
EIPs Public
Forked from ethereum/EIPsThe Ethereum Improvement Proposal repository
Solidity Creative Commons Zero v1.0 Universal UpdatedSep 29, 2022 -
-
lsk567.github.io Public
Forked from academicpages/academicpages.github.ioPersonal website
JavaScript MIT License UpdatedSep 6, 2022 -
grammars-v4 Public
Forked from antlr/grammars-v4Grammars written for ANTLR v4; expectation that the grammars are free of actions.
ANTLR UpdatedJul 14, 2022 -
-
-
researcher Public
Forked from ankitsultana/researcherA jekyll based resume template
HTML GNU General Public License v3.0 UpdatedDec 30, 2021 -
lf-wiki-gitbook Public
Forked from hasura/gatsby-gitbook-starterGenerate GitBook style modern docs/tutorial websites using Gatsby + MDX
JavaScript MIT License UpdatedJul 30, 2021 -
lf-flexpret-scripts Public
Forked from edwardcwang/lf-flexpret-scriptsLF/FlexPRET project misc scripts
C UpdatedMay 16, 2021 -
pycflow2dot Public
Forked from valbendan/pycflow2dotLayout C call graphs from cflow using GraphViz dot
Python GNU General Public License v3.0 UpdatedNov 23, 2020 -
-
-
-
-
-
-
deep-fonts Public
Forked from erikbern/deep-fontsGenerate fonts using deep learning
Python Apache License 2.0 UpdatedFeb 9, 2016