CTF Cheatsheet
☆35Jun 1, 2020Updated 5 years ago
Alternatives and similar repositories for awesome-ctf-cheatsheet
Users that are interested in awesome-ctf-cheatsheet are comparing it to the libraries listed below
Sorting:
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- A loose collection of coding katas written in Prolog☆10Dec 5, 2017Updated 8 years ago
- A custom watcher plugin for Elasticsearch that feeds Apache Kafka☆11Mar 9, 2018Updated 7 years ago
- Notes on Active Directory analysis and exploitation☆11Mar 7, 2019Updated 6 years ago
- lisp code generator for swagger☆10Jan 12, 2019Updated 7 years ago
- Run the kakoune text editor in your browser!☆10Jan 6, 2023Updated 3 years ago
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 6 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 4 years ago
- A Scala version of my `sbtmkdirs` shell script☆11Feb 27, 2021Updated 5 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Nodeless web server demo☆10Sep 8, 2019Updated 6 years ago
- ☆10Nov 20, 2014Updated 11 years ago
- Yet another Haskell servant talk☆13May 24, 2020Updated 5 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- Convert a swagger.json file into an emacs org-mode buffer/file for export to static pdf/html/latex☆11Jun 11, 2016Updated 9 years ago
- GNU-Emacs interface that embeds Prolog as an Emacs module☆16Feb 22, 2026Updated last week
- DATEX II for Java☆11Jan 26, 2015Updated 11 years ago
- query-replace in Emacs with smarts and history!☆10Jul 24, 2021Updated 4 years ago
- A proof of concept text editor from scratch on a breadboard using ATmega328 and avrforth☆10Mar 25, 2018Updated 7 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- Collection of the cheat sheets useful for pentesting☆10May 11, 2018Updated 7 years ago
- huawei mac2wepkey scanner☆19Jun 6, 2013Updated 12 years ago
- Scala wrapper generator for interop with C, C++, Objective-C, and script languages.☆15Oct 9, 2020Updated 5 years ago
- Libraries that clasp depends on☆13May 22, 2016Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 10 years ago
- Functional lenses on C++ (highly experimental).☆10Aug 13, 2019Updated 6 years ago
- sbt plugin for generating Swagger JSON schemas during build☆13Apr 24, 2020Updated 5 years ago
- Parse a nginx log file and display statistics☆10May 16, 2017Updated 8 years ago
- The documentation verification tool to make sure that nothing is considered easy or simple.☆11Apr 19, 2023Updated 2 years ago
- Snake game, made with haskell-miso☆13Jan 7, 2018Updated 8 years ago
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- Twitter client for Atom. https://atom.io/packages/atom-twitter-client☆10Dec 15, 2015Updated 10 years ago
- Lightweight approach to embed new languages into a host language☆12Mar 10, 2017Updated 8 years ago
- forked Christophe Rhodes's PAIProlog that an update of Peter Norvig's "Prolog in Common Lisp".☆20Feb 24, 2018Updated 8 years ago
- The Linda process coordination language written in Clojure.☆27Sep 18, 2015Updated 10 years ago
- Sempala is a SPARQL-over-SQL approach to provide interactive-time SPARQL query processing on Hadoop. It stores RDF data in a columnar lay…☆12Sep 4, 2017Updated 8 years ago