Java Information Dynamics Toolkit (JIDT) Copyright (C) 2012- Joseph T. Lizier; 2014- Ipek Özdemir; 2017- Pedro Mediano; 2019- Emanuele Crosato, Sooraj Sekhar, Oscar Huaigu Xu JIDT...

Winterfell 一个用于任意计算的 STARK 证明器和验证器。这是一个研究项目，目前它没有经过审计，可能包含错误和安全缺陷。这个实现还没有准备好用于生产环境中。 概述： STARK 是一个新颖的计算...

开放式架构的流动模拟和工具(moast)用于协助发展自主机器人.它包括了建筑、控制模块、接口规格、数据集和充分结合USARSim仿真系统.。

《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十 年代末提出几何定理自动证明的吴方法...

CNN Image Retrieval in MatConvNet: Training and evaluating CNNs for Image Retrieval in MatConvNet This is a MATLAB toolbox that implements the training and testing of the approach ...

Equake 是一个 GNOME 下的小程序用来监控地震并显示新地址发生的时间。

Pose Estimation tutorials 这个repo的内容是我在硕士研究生期间学到的很多deep learning内容的大汇总，我的研究方向是pose estimation。仓库里包含了2d和3d pose estimation的一些代码和我的一...

MRSignalsSeqs Stanford Rad229 Class Code: MRI Signals and Sequences See http://web.stanford.edu/class/rad229 The lectures and notes for this class are available, and will provide a...

Data2Dynamics Software Contact: Andreas Raue - andreas.raue@fdm.uni-freiburg.de (for support issues, please use the issues and forum, thanks!) Cite: Data2Dynamics: a modeling envir...

Kernel-Based Hough Transform for Detecting Straight Lines in Images This repository contains the reference implementation of the Kernel-Based Hough Transform (KHT). The KHT is a re...

MyWork 待完成的工作，以及自己总结的有用的代码 Works to be continued, along with some original useful code

9月28日更新 b站视频失效已经有一段时间了，非常抱歉一直没有处理。前段时间将视频全部上传了阿里云盘，在b站动态发布了，但是似乎看动态的人不多。更新一下 GitHub ，先暂时顶着吧，体验和b站...