YoushanLiu/ANCC
Programs and scripts for ambient noise tomography (support parallel computing and auto-correlation computation) (⭐ 24)
A Novice-Friendly Induction Tactic for Lean
In theorem provers based on dependent type theory such as Coq and Lean, induction is a fundamental proof method and induction tactics are omnipresent in proof scripts. Yet the ergonomics of existing induction tactics are not ideal: they do not reliab...
scheib/chromium-latest-linux
Scripts to download and run the latest Linux build of Chromium. A substitute for Chrome Canary on Linux. (⭐ 812)
kuitos/import-html-entry
import html and take over the exports from the scripts (⭐ 820)
extremenetworks/ExtremeScripting
Scripts and Utilities for working with Extreme Networks products (⭐ 173)
byt3bl33d3r/SprayingToolkit
Scripts to make password spraying attacks against Lync/S4B, OWA & O365 a lot quicker, less painful and more efficient (⭐ 1556)
paobrien/Phylosymbiosis-in-coral-reef-invertebrates
Scripts used for the analysis of phylosymbiosis in coral reef invertebrates (⭐ 5)
buffyg/dtracebook
Scripts collected from Brendan Gregg's DTrace book (⭐ 9)
SquidProjects/SonarMapper
Python scripts to process and visualize sonar data from Lowrance Fishfinders (⭐ 14)
Don't Repeat Yourself: Seamless Execution and Analysis of Extensive Network Experiments
This paper presents MACI, the first bespoke framework for the management, the scalable execution, and the interactive analysis of a large number of network experiments. Driven by the desire to avoid repetitive implementation of just a few scripts for...
cchapmanbird/KerrEccentricEquatorialFigures
Repository containing figure scripts + associated data products for the FEW Kerr Eccentric Equatorial paper (⭐ 6)
ilveron/intelligenza-artificiale
All the scripts made for the Intelligenza Artificiale (Artificial Intelligence) course @UniversitaDellaCalabria - A.Y 2022/2023 (⭐ 6)
Holden2029/Holden
just a kid at skewl making scripts (⭐ 7)
JaidedAI/EasyOCR
Ready-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc. (⭐ 29049)
dhimmel/integrate
Scripts and resources to create Hetionet v1.0, a heterogeneous network for drug repurposing (⭐ 33)
SQLUndercover/UndercoverToolbox
A collection of cool and useful tools, procedures and scripts for the discerning DBA (⭐ 90)
I'm a researcher who can't code. Built a SaaS with vibe coding. $1K MRR in 25 days, 2,000+…
I have a PhD in bioinformatics. I can write Python scripts that process genomic data. I cannot, for the life of me, build a web app. I don't know React. I didn't know what Tailwind was until 6 months ...
leechristensen/Random
Assorted scripts and one off things (⭐ 271)
etnepres/trophymanager
Browser scripts for trophymanager.com players (⭐ 129)
vnegnev/marcos_extras
Miscellaneous MaRCoS-related scripts and files, and the MaRCoS wiki (⭐ 17)