-
bigdata-exercises Public
Forked from RumbleDB/bigdata-exercisesExercises for the Big Data lecture at ETH Zurich (Fall 2025)
Jupyter Notebook UpdatedSep 14, 2026 -
frontier-planner Public
Figure out your task dependencies and actionable items
-
-
verilog-axi Public
Forked from alexforencich/verilog-axiVerilog AXI components for FPGA implementation
Verilog MIT License UpdatedApr 28, 2026 -
homebridge-divergence-meter Public
El Psy Congroo
-
gradient-map-clipboard-image Public
A simple tool to apply gradient mapping on clipboard images
Python UpdatedDec 7, 2025 -
A simple Alfred workflow to convert currency without API key
-
alfred-text-utils Public
Alfred workflow to convert text cases and so on
Python MIT License UpdatedAug 13, 2024 -
alfred-swap-around-symbols Public
Alfred 4 workflow to quickly swap two sides around = + - * / , etc.
Python Other UpdatedAug 13, 2024 -
Maple-Anki-Utility Public
Make Anki flashcards from the Kindle Vocabulary Builder (and more) with powerful automations
-
Maple-Anki-Template Public
Anki template specialized for vocabulary learning
-
-
VSCode-CHERI-RISC-V-Highlighting Public
Forked from sunshaoce/RISC-VVS Code RISC-V Extension
Assembly MIT License UpdatedFeb 29, 2024 -
alfred-icloud-passwords Public archive
Forked from leolabs/alfred-icloud-passwordsQuickly find and copy iCloud passwords and OTPs to your clipboard
AppleScript UpdatedFeb 26, 2024 -
sail-cheri-riscv Public
Forked from CTSRD-CHERI/sail-cheri-riscvCHERI-RISC-V model written in Sail
Isabelle Other UpdatedFeb 20, 2024 -
verilogAST-cpp Public
Forked from leonardt/verilogAST-cppC++17 implementation of an AST for Verilog code generation
C++ UpdatedFeb 14, 2024 -
pyqt-macos-native-webview Public
PyQt widget of macOS native WKWebView emulating QWebEngineView
-
anki-addons-misc Public
Forked from glutanimate/anki-addons-miscVarious add-ons I've written for Anki
-
Notes and samples of enabling iOS Depth Effect on customized images
1 UpdatedOct 4, 2023 -
-
yaml-cpp Public
Forked from twestenkarl/yaml-cppA YAML parser and emitter in C++
C++ MIT License UpdatedJul 25, 2023 -
ZJU-Blackboard-Python-API Public archive
Unofficial Python API for ZJU Blackboard (c.zju.edu.cn) Alerts Automation
-
vscode-promela Public
Forked from dsvictor94/vscode-promelaThis Visual Studio Code extension provides syntax highlighting for the Promela language
TypeScript MIT License UpdatedMar 4, 2023 -
HoloScanner Public
In-hand scanning with Microsoft HoloLens 2 for irregular geometries
-
klee-unit Public
An experimental unit test generator for C programs based on KLEE
-
Project of ETH Advanced Systems Lab SS2021
C++ UpdatedDec 19, 2022 -
DirectXMath Public
Forked from microsoft/DirectXMathDirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps
C++ MIT License UpdatedNov 22, 2022 -
wireless-charging-table Public
Code and CAD for our ECE445/ME470 design: Wireless Charging Table with Automatic Alignment
-
klc3 Public
"KLEE on LC-3," Symbolic Execution Engine for LC-3 Programs
-
Pixiv-Bookmarks-Sync Public
Sync Pixiv illustration bookmarks and original images to local
{{ message }}