153 Open source projects that are alternatives of or similar to Jlcparts

Simple Theorem Prover, an efficient SMT solver for bitvectors

This repository contains the schematics and board files for Elk board

DIY mechanical keyboard and where to find them

各种LInk大合集

All open source data of the snow flake project.

A 60% throughole keyboard inspired by the Plaid

SMACK Software Verifier and Verification Toolchain

SMT Solver for Nonlinear Theories of Reals

stm32f072 dev board with arduino nano alike pinout

⚡️generate beautiful and accurate SVG renders of printed circuit boards

Convert Inkscape SVG drawings to KiCad PCB and footprint modules

Simple USB-C Power Delivery Tester

Assortment of PCBs designed around the HM-10 BLE Serial module

pySMT: A library for SMT formulae manipulation and solving

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

PCB and PCB related bits

A premium-quality 3D printer control board by Aus3D.

This project is about creation of affordable and easy-to-manufacture prototypes of PCBs which are used to expand the capabilities of existing low-cost SDR receivers based on RTL2832U chip.

Deep Blockchains - reference implementation of Plasma, Stark, SMT and more

A Go library that implements a Sparse Merkle tree for a key-value map.

Liquid Types For Haskell

KiCAD Templates to design a mechanical keyboard with multiple MCU's included.

A powerful, innovative and intuitive EDA tool for everyone!

ZX Spectrum CPLD-based clone for rubber case

Flexible circuit board design for adding a headphone jack to an iPhone 7

Convert your KiCAD board into a nice looking 2D drawing suitable for pinout diagrams

Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project

Auto bed level strain gage for 3D printer using resistors 2512 instead of strain gauges.

AD 元件庫，AltiumDesigner PCB Library

JavaSMT - Unified Java API for SMT solvers.

CAD files for various boards, components and parts

A mixed signal netlist language (pre-alpha)

A curated list of awesome resources for electronic engineers and hobbyists

K210 PCB YOLO

"SAT/SMT by example" free ebook

A small, simple, passive driver for HUB75 based LED panels

Advanced PCB autorouter (finally, no Java installation required)

Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

KiwiSDR: BeagleBone web-accessible shortwave receiver and software-defined GPS

Automatic KiCad panelization plugin

An IO-PCB (two motor-driver/H-bridge, CAN, RS232, ADS1115, relay, ethernet, ardusimple f9p compatible connector) with an ESP32 for 12V power, three 15V tolerant analog inputs, three 5V tolerant inputs.

mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects

PCB for multisync switch for Atari

Open source Altium Database Library with over 147,000 high quality components and full 3d models.

A 60% throughole keyboard with USBC. Inspired by the Plaid

Community made schematics for the DJI drones and devices.

Proton-C compatible Corne PCB + Firmware

Ergonomic split mechanical keyboard

Happy Shooting Community - DIY Lightroom Hardware Controller

Collection of Eagle projects for targets, interfaces, shields and more

Monorepo for all home automation related development, including integrated firmware, PCBs, configuration, and bridges

Altium to KiCad converter for PCB and schematics

A checklist for electronics and electrical design

RFID-controlled musicplayer powered by ESP32

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Update to Eustathios with a little bit of HercuLien Design Changes

Portable games console, designed from scratch: CPU, graphics, PCB, and the kitchen sink

⌨️ A curated list of Open Source Mechanical Keyboard resources.

The tool for easy creating electronic component libraries

all espressif stuff will committed here