科研计算工具

jidt-卡核

jidt

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 证明器和验证器-卡核

Winterfell 用于任意计算的 STARK 证明器和验证器

Winterfell 一个用于任意计算的 STARK 证明器和验证器。这是一个研究项目,目前它没有经过审计,可能包含错误和安全缺陷。这个实现还没有准备好用于生产环境中。 概述: STARK 是一个新颖的计算...
MOAST 自动模拟仿真系统-卡核

MOAST 自动模拟仿真系统

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

Java Geometry Expert 几何专家

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

cnnimageretrieval

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 地震监控小程序-卡核

Equake 地震监控小程序

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

Pose-estimation_tutorials

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

MRSignalsSeqs

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...
d2d-卡核

d2d

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...
kht-卡核

kht

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 work and study-卡核

MyWork work and study

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

Bilibili-plus

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