krisyotam

krisyotam's Stars

• HHousen/hack-the-box

  HHousen's writeups to various HackTheBox machines and challenges from https://hackthebox.com.

  Language:JavaScript165

• Ignitetechnologies/HackTheBox-CTF-Writeups

  This cheasheet is aimed at the CTF Players and Beginners to help them sort Hack The Box Labs on the basis of Operating System and Difficulty.

  1.6k295

• babbadeckl/HackTheBox-Writeups

  Writeups for Hack The Box machines/challenges

  2513

• mzfr/HackTheBox-writeups

  Writeups for all the HTB machines I have done

  Language:Shell6112

• ruanyf/simple-bash-scripts

  A collection of simple Bash scripts

  Language:Shell1.7k1k

• ccceye/computer-book

  collection of Computer Book

  359146

• MrPr0fessor/TryHackMe-Roadmap-Beginners

  4612

• rng70/TryHackMe-Roadmap

  a list of 350+ Free TryHackMe rooms to start learning cybersecurity with THM

  546264

• JRMeyers88/e-Sword-online

  Language:JavaScript21

• JRMeyers88/e-Sword-online-api

  Language:JavaScript11

• streetwriters/notesnook

  A fully open source & end-to-end encrypted note taking alternative to Evernote.

  Language:TypeScript10.5k650

• laurent22/joplin

  Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

  Language:TypeScript46.7k5.1k

• dustinlacewell/logseq-guide

  A guide to deploy logseq.com

  13512

• guitmz/nasty

  Reverse text segment x64 ELF infector written in Assembly

  Language:Assembly181

• guitmz/DonutVirus

  Silvio Caesare virus algorithm for infecting ELF text (reverse text infection) and data segments. Inspired of Skeksi virus by Elfmaster

  1

• guitmz/mullvad-wg

  Script to run Mullvad with Wireguard on Gentoo

  1

• guitmz/dmenu-scripts

  Serious fun with dmenu

  1

• guitmz/Learning-Linux-Binary-Analysis

  Learning Linux Binary Analysis, published by Packt

  1

• linode/linode-cli

  The official Linode command line interface.

  Language:Python379140

• helloSystem/hello

  Desktop system for creators with a focus on simplicity, elegance, and usability. Based on FreeBSD. Less, but better!

  2.3k57

• pure-data/pure-data

  Pure Data - a free real-time computer music system

  Language:C1.6k248

• spamegg1/abstract-thinking

  Abstract thinking patterns and problem decomposition / solving strategies

  272

• nikivazou/thesis

  Liquid Haskell: How to turn Haskell into a Theorem Prover

  Language:TeX131

• stepchowfun/proofs

  My personal repository of formally verified mathematics.

  Language:Coq29412

• siddhartha-gadgil/ProvingGround

  Proving Ground: Tools for Automated Mathematics

  Language:Jupyter Notebook20438

• uuverifiers/princess

  The Princess Theorem Prover

  Language:Scala235

• isovector/thinking-with-types

  📖 source material for Thinking with Types

  Language:Haskell47843

• JonathanLorimer/conceptual-mathematics

  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics

  Language:Agda26

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k80

• snowballstem/snowball

  Snowball compiler and stemming algorithms

  Language:C765173