diekmann/fancy-octo-fropnicator diekmann/fancy-octo-fropnicator

  • Stars
    star
    2
  • Language
    Shell
  • Created over 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
diekmann/fancy-octo-fropnicator
github

diekmann

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Simple tool to convert LaTeX generate pdt to a plain .txt file. Used to apply spelling and grammar checking by e.g. microsoft word

More Repositories

1

wasm-fizzbuzz

WebAssembly from Scratch: From FizzBuzz to DooM.
C++
1,503
star
2

Iptables_Semantics

Verified iptables Firewall Ruleset Analysis
Isabelle
95
star
3

net-network

Public collection of firewall dumps.
Shell
42
star
4

BACnetSim

A scala BACnet simulator using bacnet4J
Scala
16
star
5

dump-x86_64-pagetable

Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.
C
11
star
6

encryption-is-not-integrity

Python
8
star
7

telnet-password-honeypot

A simple telnet server that prompts users for a password and stores it in a file.
C
5
star
8

topoS

Isabelle
4
star
9

kant

Kategorischer Imperativ in Isabelle/HOL (experimental)
Isabelle
3
star
10

jslinux

Trying to reproduce compilation of https://bellard.org/jslinux/ by great Fabrice Bellard
C
2
star
11

Isabelle-Hello-World

Hello World in Isabelle, compiled to Haskell
Isabelle
2
star
12

python_tcpdump

a stdin parser for tcpdump. HACKY!
Python
2
star
13

cctrack

Adaptive Low-Level Packet Sampling for High-Speed Networks
C
2
star
14

phd-defense-slides

TeX
1
star
15

isabelle_awesome_tac

1
star
16

uefi_playground

Playing with UEFI Applications
Makefile
1
star
17

openttd-web-publishing

An attempt to automatically publish the openttd game to GithubPages
Makefile
1
star
18

isabelle-brainfuck

the famous brainfuck language implemented in the famous isabelle theorem prover
1
star
19

bsides-muc-2018-slides

TeX
1
star