oswaldxia Goto Github PK

picturemgn

pinns

Physics Informed Deep Learning: Data-driven Solutions and Discovery of Nonlinear Partial Differential Equations

pkl

A configuration as code language with rich validation and tooling.

planck-pi

Super TINY & Low-cost Linux Develop-Kit Based On F1C200s.

plfa.github.io

An introduction to programming language theory in Agda

polonius

Defines the Rust borrow checker.

popper

Popper is an inductive logic programming (ILP) system.

practical-cplusplus-design

Source code for 'Practical C++ Design' by Adam B. Singer

project-based-learning

Curated list of project-based tutorials

project-quantum

超迷你模块化卡片电脑计划

pypots

A python toolbox/library for data mining on partially-observed time series, supporting tasks of forecasting/imputation/classification/clustering on incomplete multivariate time series with missing values.

pytorch-tutorial-2nd

《Pytorch实用教程——第二版》无论是零基础入门，还是进阶工程化部署落地，在这里都有。相信在本书的帮助下，你将能够轻松掌握 PyTorch 的使用，成为一名优秀的深度学习工程师。

rapier

2D and 3D physics engines focused on performance.

rcore-tutorial-v3

Let's write an OS which can run on RISC-V in Rust from scratch!

reference

为开发人员分享快速参考备忘清单(速查表)

regressionline.github.io

ring

Ping but with Rust, rust + ping -> ring

rust-blog

Educational blog posts for Rust beginners

rust-cookbook

https://rust-lang-nursery.github.io/rust-cookbook

rustc_codegen_clr

This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.

set-theory

A formalization of the textbook Elements of Set Theory

sing-box

The universal proxy platform

sniffnet

Cross-platform application to monitor your network traffic with ease

sph_project

sph realization of fluid simulation

ssa-maps-ml

A CRASH COURSE ON USING MACHINE LEARNING METHODS EFFECTIVELY IN PRACTICE

stable-baselines3

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

stable-diffusion

A latent text-to-image diffusion model

stacks-project

Repository for the Stacks Project

supplychain

Final project for CS651: Distributed Systems. Blockchain mixed with distributed systems.

symmetrybook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.