chenlijun99
Follow
Starred repositories
Set of tools and libraries that streamline the learning experience with Anki.
Reverse engineered wifi driver for the ESP32
Convert PDF to markdown quickly with high accuracy
Software for technical documentation and requirements management.
Keep events and manage your calendar alongside all your other notes in your Obsidian Vault.
Automated generation of provably secure, zero-copy parsers from format specifications
A CLI tool and an apkg template to allow you to create flashcards from markdown and have a better experience while using anki for your studies. 🌸
The repository for high quality TypeScript type definitions.
A state machine code generation tool suitable for bare metal, embedded and more.
a structural diff that understands syntax 🟥🟩
construct / construct
Forked from MostAwesomeDude/constructConstruct: Declarative data structures for python that allow symmetric parsing and building
Use your tablet as graphic tablet/touch screen on your computer.
📜 Collect your quotes from all over the vault and embed them in different locations with refresh delays
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
makeWrapper and wrapProgram freed from Nix build system
GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.
Tiny Software Protocol for communication over UART, SPI, etc
Rich is a Python library for rich text and beautiful formatting in the terminal.
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http:https://github.com/logseq/logseq/releases. roadmap: http:https://trello.com/b/8txSM12G/roadmap
C++ based Hierarchical / Finite State Machine library oriented for embedded and RTOS systems.
Cap'n Proto serialization/RPC system - core tools and C++ library
C++ framework for json-rpc (json remote procedure call)