tobielf

lambda logic's repositories

sublime-syntax-clingo

A syntax highlighting plugin for Answer Set Programming

GPL-3.0200

cow

HTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access.

Language:GoBSD-2-Clause020

d3-cookbook

Source code for "Data Visualization with D3 Cookbook"

Language:JavaScriptMIT020

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.

Language:C++BSD-3-Clause020

raspberrypi_project

SmartHome Devices and Controller.

Language:CMIT020

SER502-Spring2017-Team10

Language:C000

SICP

The practice and example code in SICP

Language:Scheme020

genl_ex

An example on generic netlink communications between the kernel and user-space processes.

Language:CGPL-3.0000

hhvm

A virtual machine for executing programs written in Hack.

Language:C++NOASSERTION010

JGraphDemo

It's a JGraph demo based on JGraphX3.6.0

Language:Java020

logictensornetworks

Deep Learning and Logical Reasoning from Data and Knowledge

Language:PythonMIT000

miniKanren

Canonical miniKanren implementation

MIT000

MySQL_Reference_Manuals_5.5_chs

MySQL参考手册5.5中文版

000

package_control_channel

Default channel file for Package Control. Follow the directions at:

Language:Python020

PLPVisualizerDemo

PLP Datapath visualization.

Language:Java000

R-Shiny-UK-crime

Language:R000

simple-miniKanren

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

Language:Scheme000

SoftwareDesignForFlexibility

GPL-3.0000

us-visa-checker

https://tuixue.online/visa/ A Real-time Display of U.S. Visa Appointment Status Website 预约美帝签证各个签证处最早时间的爬虫

000