1oop's starred repositories

rtic

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Language:RustLicense:Apache-2.0Stargazers:1695Issues:0Issues:0

slim

Slim(toolkit): Don't change anything in your container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)

Language:GoLicense:Apache-2.0Stargazers:18893Issues:0Issues:0

meep

free finite-difference time-domain (FDTD) software for electromagnetic simulations

Language:C++License:GPL-2.0Stargazers:1158Issues:0Issues:0

moose

Multiphysics Object Oriented Simulation Environment

Language:C++License:LGPL-2.1Stargazers:1655Issues:0Issues:0

404StarLink

404StarLink - 推荐优质、有意义、有趣、坚持维护的安全开源项目

Stargazers:7924Issues:0Issues:0

iverilog

Icarus Verilog

Language:C++License:GPL-2.0Stargazers:2729Issues:0Issues:0

WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

Language:Jupyter NotebookLicense:MITStargazers:1205Issues:0Issues:0

learning-zkp

articles, codes and tools all about zero-knowledge proofs

Language:Jupyter NotebookStargazers:766Issues:0Issues:0

gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.

Language:GoLicense:AGPL-3.0Stargazers:12518Issues:0Issues:0

aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Language:RustLicense:Apache-2.0Stargazers:2887Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:94915Issues:0Issues:0

windows

Windows inside a Docker container.

Language:ShellLicense:MITStargazers:15640Issues:0Issues:0

LibrePCB

A powerful, innovative and intuitive EDA suite for everyone!

Language:C++License:GPL-3.0Stargazers:2315Issues:0Issues:0

horizon

Horizon is a free EDA package

Language:CLicense:GPL-3.0Stargazers:1080Issues:0Issues:0

kicad-source-mirror

This is an active mirror of the KiCad development branch, which is hosted at GitLab (updated every time something is pushed). Pull requests on GitHub are not accepted or watched.

Language:C++License:GPL-3.0Stargazers:1781Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:29915Issues:0Issues:0

egui-snarl

Customizable egui node-graph library

Language:RustLicense:MITStargazers:213Issues:0Issues:0

rayon

Rayon: A data parallelism library for Rust

Language:RustLicense:Apache-2.0Stargazers:10541Issues:0Issues:0

glow

GL on Whatever: a set of bindings to run GL anywhere and avoid target-specific code

Language:RustLicense:Apache-2.0Stargazers:1115Issues:0Issues:0

trunk

Build, bundle & ship your Rust WASM application to the web.

Language:RustLicense:Apache-2.0Stargazers:3268Issues:0Issues:0

rerun

Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.

Language:RustLicense:Apache-2.0Stargazers:5719Issues:0Issues:0

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustLicense:NOASSERTIONStargazers:16099Issues:0Issues:0

leptos

Build fast web applications with Rust.

Language:RustLicense:MITStargazers:15313Issues:0Issues:0

qemu

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Language:CLicense:NOASSERTIONStargazers:9631Issues:0Issues:0

anytype-ts

Official Anytype client for MacOS, Linux, and Windows

Language:TypeScriptLicense:NOASSERTIONStargazers:3636Issues:0Issues:0

cnlunar

农历,**农历历法项目,无需数据库环境,以《钦定协纪辨方书》为核心的python3 农历、黄历、二十四节气、节假日、星次、每日凶煞、每日值神、农历建除十二神、农历每日宜忌、彭祖百忌、每日五行、二十八星宿、天干地支、农历生辰八字、时辰凶吉等开源项目。

Language:PythonLicense:GPL-3.0Stargazers:438Issues:0Issues:0

lumino

Lumino is a library for building interactive web applications

Language:TypeScriptLicense:NOASSERTIONStargazers:599Issues:0Issues:0

awesome-ddd

A curated list of Domain-Driven Design (DDD), Command Query Responsibility Segregation (CQRS), Event Sourcing, and Event Storming resources

Stargazers:10947Issues:0Issues:0

ctf-wiki

Come and join us, we need you!

Language:PythonLicense:NOASSERTIONStargazers:7851Issues:0Issues:0

OI-wiki

:star2: Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)

Language:TypeScriptStargazers:19370Issues:0Issues:0