Pinned Repositories
Catch_Signals
A short program that demonstrates how an Ada program can catch and react to interrupts.
cbsd
Yet one more wrapper around FreeBSD jail. For more information please visit website
Convert-MIL1750A
Release history of Convert-MIL1750A
Courses
This repository contains course material published to the AdaCore University website
LibPacket
Packet decoding for TCP/IP protocols; a portable packet sniffing library.
Mil-std-1750A-Emulator
Emulator for Mil-std-1750A instruction set. Written in C++
kjseefried's Repositories
kjseefried/LibPacket
Packet decoding for TCP/IP protocols; a portable packet sniffing library.
kjseefried/papers-we-love
Papers from the computer science community to read and discuss.
kjseefried/Viola
Taking the load off libCello.
kjseefried/ada-1
My Ada contributions. Needs Makefiles.
kjseefried/Ada-Crypto-Library
The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.9.
kjseefried/aperture
kjseefried/asio
Asio C++ Library
kjseefried/creek
A vector processor implemented in Chisel
kjseefried/drake
Drake The Runtime Library for gcc-Ada (GNAT)
kjseefried/flat.icns
A flat icon set for OS X
kjseefried/gists
With way too messy gist.github pages this is an attempt to organise my snippets
kjseefried/gplgpu
GPL v3 2D/3D graphics engine in verilog
kjseefried/httpswitchboard
Point & click to forbid/allow any class of requests made by your browser. Use it to block scripts, iframes, ads, facebook, etc.
kjseefried/kicadocaml
Automatically exported from code.google.com/p/kicadocaml
kjseefried/l4v
seL4 specification and proofs
kjseefried/libCello
Higher level programming in C
kjseefried/masscan
TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.
kjseefried/ompi
Open MPI main development repository
kjseefried/peg-solitaire.c
Console version of the game "peg-solitaire" for GNU/Linux
kjseefried/perf-tools
Performance analysis tools based on Linux perf_events (aka perf) and ftrace
kjseefried/SecLists
SecLists is the security tester's companion. It is a collection of multiple types of lists used during security assessments. List types include usernames, passwords, URLs, sensitive data grep strings, fuzzing payloads, and many more.
kjseefried/seL4
The seL4 microkernel
kjseefried/skid_protector
Linux firewall shell scripts to protect web servers from intrusion.
kjseefried/SparForte
Shell, web engine, scripting language mission-critical, scalable projects.
kjseefried/spark_examples
Various examples of SPARK2014 code
kjseefried/stb
stb single-file public domain libraries for C/C++
kjseefried/tinyprintf
A tiny printf and sprintf library for small embedded systems
kjseefried/xia
XIA - XPath In Ada
kjseefried/xray
N-D labeled arrays and datasets in Python
kjseefried/xsscrapy
XSS spider - 66/66 wavsep XSS detected