newell
Follow
-
-
LibreVNA Public
Forked from jankae/LibreVNA100kHz to 6GHz 2 port USB based VNA
C++ GNU General Public License v3.0 UpdatedOct 4, 2026 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedSep 22, 2026 -
hv-flyback-converter Public
High Voltage Flyback Converter (4-6V input, 180V output)
-
migen Public
Forked from m-labs/migenA Python toolbox for building complex digital hardware
Python Other UpdatedFeb 26, 2026 -
misoc Public
Forked from m-labs/misocThe original high performance and small footprint system-on-chip based on Migen™
Python Other UpdatedFeb 26, 2026 -
3b1b-videos Public
Forked from 3b1b/videosCode for the manim-generated scenes used in 3blue1brown videos
Python Other UpdatedFeb 26, 2026 -
spirulae Public
Forked from harry7557558/spirulaeGPU-accelerated math function graphers in web browsers, both 3D and 2D.
JavaScript GNU General Public License v3.0 UpdatedFeb 26, 2026 -
nixie-clock-esp32c3 Public
Nixe Tube Clock using the ESP32-C3
-
artiq Public
Forked from m-labs/artiqA leading-edge control system for quantum information experiments
Python GNU Lesser General Public License v3.0 UpdatedFeb 16, 2026 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 19, 2025 -
urukul Public
Forked from quartiq/urukulCPLD gateware for the Sinara Urukul module
Python GNU General Public License v3.0 UpdatedApr 9, 2025 -
-
Second version of homemade 30 MHz - 6 GHz VNA
VHDL UpdatedJan 23, 2025 -
NanoMi Public
Forked from NanoMi-org/NanoMiThis is where the code for the NANOmi open source electron microscope lives.
Python GNU General Public License v3.0 UpdatedDec 23, 2024 -
eval-ad9910-artiq Public
Control AD9910 Evaluation Board with ARTIQ
Python GNU Lesser General Public License v3.0 UpdatedNov 18, 2024 -
skywater-pdk Public
Forked from google/skywater-pdkOpen source process design kit for usage with SkyWater Technology Foundry's 130nm node.
Python Apache License 2.0 UpdatedOct 28, 2024 -
rust-ebaz4205 Public
Minimalist bare metal Rust firmware for EBAZ4205
-
-
-
mirny Public
Forked from quartiq/mirnyCPLD gateware for the Sinara Mirny module.
Python GNU General Public License v3.0 UpdatedAug 20, 2024 -
-
patterncollider Public
Forked from aatishb/patterncolliderA web interactive for generating and exploring quasiperiodic tiling patterns
JavaScript MIT License UpdatedMar 5, 2024 -
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedFeb 25, 2024 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedFeb 8, 2024 -
Eagle-and-KiCAD-Nixie-Libs Public
Forked from judge2005/Eagle-and-KiCAD-Nixie-LibsEagle and KiCAD libraries for nixie tubes
UpdatedOct 16, 2023 -
-
manim Public
Forked from ManimCommunity/manimA community-maintained Python framework for creating mathematical animations.
Python MIT License UpdatedSep 21, 2021 -
ShapeFromCaustics Public
Forked from CompN3rd/ShapeFromCausticsOfficial implementation of https://graphics.tu-bs.de/publications/kassubeck2020shape
Python MIT License UpdatedAug 16, 2021 -
dds-ad9910 Public
Direct Digital Synthesis AD9910 Board