Pinned Repositories
hhvm
A virtual machine for executing programs written in Hack.
stable-Kanren
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
cow
HTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access.
CSE530-Spring20
d3-cookbook
Source code for "Data Visualization with D3 Cookbook"
DSAP
raspberrypi_project
SmartHome Devices and Controller.
SER502-Spring2017-Team10
SICP
The practice and example code in SICP
sublime-syntax-clingo
A syntax highlighting plugin for Answer Set Programming
tobielf's Repositories
tobielf/sublime-syntax-clingo
A syntax highlighting plugin for Answer Set Programming
tobielf/cow
HTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access.
tobielf/CSE530-Spring20
tobielf/d3-cookbook
Source code for "Data Visualization with D3 Cookbook"
tobielf/DSAP
tobielf/gem5
This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews should be submitted to https://gem5-review.googlesource.com/. The mirrors are synchronized every 15 minutes.
tobielf/raspberrypi_project
SmartHome Devices and Controller.
tobielf/SER502-Spring2017-Team10
tobielf/SICP
The practice and example code in SICP
tobielf/genl_ex
An example on generic netlink communications between the kernel and user-space processes.
tobielf/hhvm
A virtual machine for executing programs written in Hack.
tobielf/JGraphDemo
It's a JGraph demo based on JGraphX3.6.0
tobielf/logictensornetworks
Deep Learning and Logical Reasoning from Data and Knowledge
tobielf/miniKanren
Canonical miniKanren implementation
tobielf/MySQL_Reference_Manuals_5.5_chs
MySQL参考手册5.5中文版
tobielf/package_control_channel
Default channel file for Package Control. Follow the directions at:
tobielf/PLPVisualizerDemo
PLP Datapath visualization.
tobielf/R-Shiny-UK-crime
tobielf/simple-miniKanren
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
tobielf/SoftwareDesignForFlexibility
tobielf/us-visa-checker
https://tuixue.online/visa/ A Real-time Display of U.S. Visa Appointment Status Website 预约美帝签证各个签证处最早时间的爬虫