-
gitbackup Public
Forked from amitsaha/gitbackupTool to backup your Bitbucket, GitHub and GitLab repositories
Go MIT License UpdatedFeb 20, 2026 -
-
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedOct 13, 2020 -
souffle.vim Public
Forked from souffle-lang/souffle.vimSyntax highlighting for souffle files
Vim Script MIT License UpdatedAug 1, 2020 -
rdowavic.github.io Public
Forked from barryclark/jekyll-nowBuild a Jekyll blog in minutes, without touching the command line.
CSS MIT License UpdatedMay 22, 2020 -
kubelint-1 Public
Forked from CoverGenius/kubelintA Configurable Kubernetes Linter for Go
Go UpdatedMar 19, 2020 -
k8sutil-1 Public
Forked from CoverGenius/k8sutilUse this tool as a compliment to kubectl to switch current context and namespace, list resources filtered by kind, namespace, or label, and lint resource configurations for security vulnerabilities.
Go UpdatedMar 19, 2020 -
logrus Public
Forked from sirupsen/logrusStructured, pluggable logging for Go.
Go MIT License UpdatedMar 13, 2020 -
-
color Public
Forked from fatih/colorColor package for Go (golang)
Go MIT License UpdatedFeb 10, 2020 -
To-Do-App Public
Just a simple app to show how you can use routes to interface with a database, and then use a front-end to display what is in the database.
HTML UpdatedOct 30, 2019 -
souffle-lang.github.io Public
Forked from souffle-lang/souffle-lang.github.ioSoufflé
CSS UpdatedJul 11, 2019 -
benchmarks Public
Forked from souffle-lang/benchmarksDatalog benchmark suite
Shell UpdatedFeb 12, 2019 -
-
-
SSP_Sem2_2018 Public
The SSP for Semester 2 2018: Boolean Matrix Multiplication
C++ UpdatedDec 2, 2018 -
SuccinctQuadTree Public
A Quadtree modelled with integers as pointers rather than 64-bit pointers. A little more simple and nice.
C++ UpdatedNov 29, 2018 -
-
-
exam-timer Public
This is an exam timer with a display for the start of reading, writing, and the end of the exam. A chime goes off when a new part of the exam is now active. (Ie writing time starts, or the exam fin…
JavaScript UpdatedJul 27, 2018 -
-
usyd-beamer-theme Public
Forked from mfjones/usyd-beamer-themeAn unofficial beamer theme for the University of Sydney's latest branding redesign.
TeX UpdatedJun 14, 2018 -
-
{{ message }}