-
intro-to-cybersecurity-dojo Public
Forked from pwncollege/intro-to-cybersecurity-dojoIntro to Cybersecurity
C UpdatedFeb 25, 2025 -
simple-miniKanren Public
Forked from miniKanren/simple-miniKanrenSimple miniKanren, with fresh, and conde. A good starting point for exploratory hacking.
Scheme UpdatedJun 5, 2024 -
us-visa-checker Public
Forked from Trinkle23897/tuixue.online-visahttps://tuixue.online/visa/ A Real-time Display of U.S. Visa Appointment Status Website 预约美帝签证各个签证处最早时间的爬虫
Python UpdatedFeb 14, 2023 -
hhvm Public
Forked from facebook/hhvmA virtual machine for executing programs written in Hack.
C++ Other UpdatedOct 21, 2021 -
10000
SoftwareDesignForFlexibility Public
Forked from jeffhhk/SoftwareDesignForFlexibilityScheme GNU General Public License v3.0 UpdatedMar 12, 2021 -
-
-
genl_ex Public
Forked from a-zaki/genl_exAn example on generic netlink communications between the kernel and user-space processes.
C GNU General Public License v3.0 UpdatedApr 11, 2020 -
-
-
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…
C++ BSD 3-Clause "New" or "Revised" License UpdatedApr 18, 2019 -
sublime-syntax-clingo Public
A syntax highlighting plugin for Answer Set Programming
-
logictensornetworks Public
Forked from logictensornetworks/logictensornetworksDeep Learning and Logical Reasoning from Data and Knowledge
Python MIT License UpdatedMar 8, 2019 -
package_control_channel Public
Forked from wbond/package_control_channelDefault channel file for Package Control. Follow the directions at:
Python UpdatedFeb 27, 2019 -
miniKanren Public
Forked from miniKanren/miniKanrenCanonical miniKanren implementation
Scheme MIT License UpdatedApr 11, 2018 -
-
-
-
cow Public
Forked from cyfdecyf/cowHTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access.
Go BSD 2-Clause "Simplified" License UpdatedAug 23, 2015 -
microKanren Public
Forked from jasonhemann/microKanrenThe implementation of microKanren, a featherweight relational programming language
Scheme UpdatedJun 12, 2014 -
-
d3-cookbook Public
Forked from NickQiZhu/d3-cookbookSource code for "Data Visualization with D3 Cookbook"
JavaScript MIT License UpdatedFeb 8, 2014 -
{{ message }}