llkpersonal

llkpersonal's Stars

• hex-five/multizone-fpga

  This repository contains the hardware design source files of the Hex Five X300 RISC-V SoC. The X300 is Hex Five's official reference HW platform for its MultiZone Trusted Execution Environment and MultiZone Trusted Firmware. The X300 is an enhanced secure version of the SiFive's Freedom E300 built around the Rocket chip developed at U.C. Berkeley.

  Language:Scala284

• tlringer/plugin-tutorial

  Yet another plugin tutorial, this time as an exercise for 598

  Language:OCaml385

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k106

• qipengwang/Melon

  MobiSys#114

  Language:C++212

• coq-community/coq-100-theorems

  Statements of famous theorems proven in Coq [maintainer=@jmadiot]

  Language:HTML5514

• markedjs/marked

  A markdown parser and compiler. Built for speed.

  Language:JavaScript32.8k3.4k

• Ruzim/NSFC-application-template-latex

  国家自然科学基金申请书正文（面上项目）LaTeX 模板（非官方）

  Language:TeX835204

• clibs/red-black-tree

  Generic red-black tree library (by Julienne Walker).

  Language:C5431

• alfikpl/ao486

  The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX.

  Language:C34773

• eugene-tarassov/vivado-risc-v

  Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

  Language:Tcl821187

• libav/c99-to-c89

  Tool to convert C99 code to MSVC-compatible C89

  Language:C24866

• TaLucGiaHoang/HiFive1_RevB-AWS-FreeRTOS

  FreeRTOS+AWS demo for SiFive HiFive1 RevB

  Language:C2

• kjarvel/hifive1revb_wifi

  SiFive HiFive1 Rev B ESP32 - WiFi connection demo

  Language:C177

• fatedier/frp

  A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

  Language:Go84.7k13.2k

• Thalhammer/jwt-cpp

  A header only library for creating and validating json web tokens in c++

  Language:C++869238

• drogonframework/drogon

  Drogon: A C++14/17/20 based HTTP web application framework running on Linux/macOS/Unix/Windows

  Language:C++11.4k1.1k

• yhirose/cpp-httplib

  A C++ header-only HTTP/HTTPS server and client library

  Language:C++12.8k2.3k

• amunn/msu-thesis

  Thesis Class for Michigan State University

  Language:TeX2710

• OI-wiki/OI-wiki

  :star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

  Language:TypeScript20.6k3.9k

• huan/docker-wechat

  DoChat is a Dockerized WeChat (盒装微信) PC Windows Client for Linux

  Language:Shell2.2k203

• dasebe/robinhoodcache

  RobinHood the first tail latency-aware caching system

  Language:Go9510

• wenischlab/MicroTune

  µTune: Auto-Tuned Threading for OLDI Microservices

  Language:C++146

• SkyTubeTeam/SkyTube

  Copylefted libre / open source YouTube player for Android

  Language:Java2.3k320

• mmatuson/SchemaSync

  A MySQL Schema Versioning and Migration Utility

  Language:Python337110

• DBDiff/DBDiff

  Compare MySQL databases & automatically create schema & data change scripts/migrations rapidly (up & down SQL supported) for database version control. Supports *some* migration tools.

  Language:PHP701162

• gerrit-review/gerrit

  Gerrit Code Review (mirror only). DO NOT SUBMIT PULL REQUESTS HERE. Use https://gerrit-review.googlesource.com instead.

  Language:Java407130

• 996icu/996.ICU

  Repo for counting stars and contributing. Press F to pay respect to glorious developers.

  270k21.2k

• cpplint/cpplint

  Static code checker for C++

  Language:Python1.5k271

• phoboslab/jsmpeg

  MPEG1 Video Decoder in JavaScript

  Language:JavaScript6.3k1.4k

• freebsd/freebsd-src

  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

  Language:C7.8k2.9k