An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.

Foundation model for weather & climate

RISC-V Linux SoC, marchID: 0x2b

MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.

OpenGL ES and input for iOS, tvOS, Android, and WebGL

A feature-rich command-line audio/video downloader

Command-line program to download videos from YouTube.com and other video sites

《软件基础》中译版 Software Foundations Chinese Translation

The memory layer for Personalized AI

CaDiCaL SAT Solver

A parallel ODE solver for PyTorch

Primary repository for the Trilinos Project

Personal schematic symbol and footprint libraries for Altium Designer.

参考网上使用

a cheap CMSIS-DAP debugger by an WCH chip named CH549F

HFS is a web file server to run on your computer. Share folders or even a single file thanks to the virtual file system.

我的导航学习笔记，内容涵盖导航定位开源程序的源码解读 ( 包括：RTKLIB、GAMP、GINav、Ginan、PSINS、SoftGNSS、KF-GINS、ORB-SLAM3、GICI-Lib 等)、各种导航设备的使用方式、书籍讲义、博客翻译、开源项目梳理、常用网站记录、Linux/Vim/Git/ROS/VSCode 常用命令；本仓库会长期更新，分享出来，跟大家做个交流，也激励着自己坚持…

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Some unstructured notes concerning the Broad tutorial to take place in March 2020

Base STM32 CMake project

Truly independent web browser

SAT Solver SATCH

Jupyter notebooks for tutorial on the Z3 SMT solver

Linux Kernel Programming 2E - published by Packt

fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

Avaota A1 is a Powerful Open Sourcce SBC with Allwinner T527 Octa-Core A55 SoC

泰山派Android平板