|
|
OCaml |
4 |
[migrated to https://github.com/c-cube/zipperposition] Logic toolkit, designed primarily for first-order automated reasoning. It aims at providing … |
Jan 28, 2023 |
|
|
None |
73 |
I have tried to solve some complex SQL interview questions that had been asked in … |
Aug 10, 2022 |
|
|
Shell |
3 |
None |
Sep 21, 2022 |
|
|
Shell |
3 |
android libs from github or other websites |
Jun 23, 2022 |
|
|
Shell |
3 |
SHIRASAGI Vagrant Boxes |
Aug 12, 2022 |
|
|
Shell |
3 |
today I learned. a collection of day-to-day dev learnings. |
Sep 07, 2022 |
|
|
Shell |
3 |
kubesphere Katacoda Scenarios |
Nov 18, 2021 |
|
|
Shell |
3 |
None |
Jul 12, 2022 |
|
|
Shell |
3 |
A little Linux script to automate Splunk installation. |
Jul 29, 2022 |
|
|
Shell |
3 |
None |
Jan 10, 2022 |
|
|
Shell |
3 |
A simple script to print IP addresses in the terminal |
Nov 14, 2017 |
|
|
Shell |
3 |
Example usage at https://asciinema.org/a/7FeE40scnIxuK7WTjDu2ENY4F |
May 24, 2021 |
|
|
Shell |
3 |
None |
Aug 03, 2020 |
|
|
Shell |
3 |
为 Transmission 屏蔽迅雷等吸血客户端 | For Transmission to block leecher clients like Xunlei | https://binac.io/posts/transmission-block-leechers/ |
May 27, 2022 |
|
|
Shell |
3 |
Heroku build pack for Swift |
Mar 14, 2021 |
|
|
Shell |
3 |
A sample Wordpress website which uses a DevOps style approach to manage builds, deployments, backup … |
Feb 02, 2022 |
|
|
Shell |
3 |
SSH, FTP and Telnet honeypots based on Twisted |
Sep 20, 2021 |
|
|
Shell |
3 |
A simple repository which can serve as a resource for event owners to find speakers. … |
Aug 08, 2022 |
|
|
Shell |
3 |
None |
Mar 19, 2019 |
|
|
Shell |
3 |
A simple script to build different PHP versions |
Jun 14, 2019 |
|
|
Shell |
3 |
Official Deployment Scripts for Learning Locker |
Jan 02, 2022 |
|
|
Shell |
3 |
None |
Jun 28, 2022 |
|
|
Shell |
3 |
linux笔记 |
May 30, 2021 |
|
|
Shell |
3 |
Assorted scripts and configs for mozilla builds |
Sep 25, 2020 |
|
|
Shell |
3 |
wrapper for crop to redirect output to apprise but still show logs in the console |
May 05, 2022 |
|
|
Shell |
3 |
This is a read-only mirror for https://git.recolic.net/root/minerstat-os.git |
May 14, 2022 |
|
|
Shell |
3 |
i3, urxvt, compton config files |
Jul 25, 2022 |
|
|
Shell |
3 |
None |
Jun 25, 2022 |
|
|
Shell |
3 |
Demo of CloudFormation Drift Detection |
Jun 13, 2020 |
|
|
Shell |
3 |
Tanzu Service Mesh Samples |
Oct 25, 2021 |
|
|
Shell |
3 |
None |
Apr 10, 2019 |
|
|
Shell |
3 |
None |
Sep 02, 2022 |
|
|
Shell |
3 |
code snippets for iOS ^_^ |
Jul 26, 2022 |
|
|
Shell |
3 |
Asuswrt-Merlin hnd/axhnd/axhnd.675x platform router single-arm routing script |
Nov 26, 2021 |
|
|
Shell |
3 |
Run yapf first and fix imports with isort |
Apr 17, 2021 |
|
|
Shell |
3 |
Vim and Bash and Git, oh my! |
Aug 18, 2022 |
|
|
Shell |
3 |
Personal dotfiles for tmux, vim, zsh and git ❣️ |
Aug 04, 2022 |
|
|
Shell |
3 |
Zsh, Bash, Vim, Git, Gem, rbenv, tmux, irssi. |
Jun 24, 2022 |
|
|
Shell |
3 |
My dotfiles (bash, vim, etc) |
Aug 17, 2022 |
|
|
Shell |
3 |
Dotfiles, tmux, vim, zsh, fish, git |
Aug 19, 2021 |
|
|
Shell |
3 |
OS X dotfiles: bash, git, vim, etc |
Nov 02, 2021 |
|
|
Shell |
3 |
convert vimwiki mardown files with pandoc to html |
Dec 21, 2021 |
|
|
Shell |
3 |
Personal dotfile with git hook to manage brew packages (brewfile) |
Aug 26, 2022 |
|
|
Shell |
3 |
collection of my git/vim/bash config files |
May 18, 2022 |
|
|
Shell |
3 |
My private vim, zsh, git, and tmux configuration files. |
May 01, 2020 |
|
|
Shell |
3 |
★ Manage my dotfiles, with just one command. |
Jan 10, 2022 |
|
|
Shell |
3 |
Arcade FPGA implementations for MiSTerFPGA |
Sep 29, 2022 |
|
|
Shell |
3 |
kubesphere Katacoda Scenarios |
Nov 18, 2021 |
|
|
Shell |
3 |
Migrate WordPress sites with a single terminal command |
Jul 03, 2022 |
|
|
Shell |
3 |
Bash script to send messages on telegram with a bot. |
Sep 02, 2022 |