- Mainz, Germany
- https://orcid.org/0000-0003-0972-1544
-
edalize Public
Forked from olofk/edalizeAn abstraction library for interfacing EDA tools
Python BSD 2-Clause "Simplified" License UpdatedMar 27, 2026 -
chipwhisperer Public
Forked from newaetech/chipwhispererChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
C Other UpdatedMar 20, 2026 -
-
-
PQClean Public
Forked from PQClean/PQCleanClean, portable, tested implementations of post-quantum cryptography
C UpdatedJan 10, 2025 -
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedNov 11, 2024 -
jasmin Public
Forked from jasmin-lang/jasminLanguage for high-assurance and high-speed cryptography
Coq MIT License UpdatedMar 19, 2024 -
-
-
YaLafi Public
Forked from torik42/YaLafiYet another LaTeX filter
Python GNU General Public License v3.0 UpdatedJan 21, 2022 -
wrapped_chacha_wb_accel Public
Wishbone ChaCha Accelerator for MPW2-C
-
magic-wormhole.rs Public
Forked from magic-wormhole/magic-wormhole.rsNOT FUNCTIONAL YET. Slowly porting magic-wormhole to Rust. See wiki for game plan.
Rust European Union Public License 1.2 UpdatedOct 31, 2021 -
openlane_summary Public
Forked from mattvenn/librelane_summaryPython Apache License 2.0 UpdatedJun 3, 2021 -
wrapped_chacha_uart_accel Public
Chacha20 Accelerator with UART interface
Verilog Apache License 2.0 UpdatedJun 2, 2021 -
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp UpdatedOct 16, 2020 -
systemd Public
Forked from systemd/systemdThe systemd System and Service Manager
C GNU General Public License v2.0 UpdatedApr 1, 2020 -
org-ref Public
Forked from jkitchin/org-reforg-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.
Emacs Lisp UpdatedMar 30, 2020 -
VexRiscv Public
Forked from SpinalHDL/VexRiscvA FPGA friendly 32 bit RISC-V CPU implementation
Assembly MIT License UpdatedOct 20, 2019 -
Marlin Public
Forked from MarlinFirmware/MarlinOptimized firmware for RepRap 3D printers based on the Arduino platform.
C GNU General Public License v3.0 UpdatedNov 10, 2017 -
i3status Public
Forked from i3/i3statusGenerates status bar to use with i3bar, dzen2 or xmobar
C BSD 3-Clause "New" or "Revised" License UpdatedJan 11, 2016 -
homebrew-cask Public
Forked from Homebrew/homebrew-caskA CLI workflow for the administration of Mac applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedMar 24, 2015 -
PKGBUILDs Public
Forked from archlinuxarm/PKGBUILDsPKGBUILDs modified to build on Arch Linux ARM
Shell UpdatedOct 7, 2014 -
homebrew-dupes Public
Forked from keitheis/homebrew-dupesSystem duplicate formulae for the Homebrew package manager
Ruby UpdatedDec 20, 2012 -
instancing Public
Simple demonstration of instanced drawing with (Py)OpenGL.
Python UpdatedSep 15, 2012 -
-
glfwexample Public
Richards OpenGL 3.2 Core Profile Example