diekmann/kant diekmann/kant

  • Stars
    star
    3
  • Rank 3,958,348 (Top 79 %)
  • Language Isabelle
  • Created over 5 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
diekmann/kant
github

diekmann

Reviews

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

Repository Details

Kategorischer Imperativ in Isabelle/HOL (experimental)

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

jslinux

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

Isabelle-Hello-World

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

fancy-octo-fropnicator

Simple tool to convert LaTeX generate pdt to a plain .txt file. Used to apply spelling and grammar checking by e.g. microsoft word
Shell
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