-
gwasser.github.io Public
Personal academic-focused CV website and blog
JavaScript MIT License UpdatedAug 29, 2024 -
-
g4ip Public
basic implementation of g4ip logic theorem prover
Haskell GNU General Public License v3.0 UpdatedAug 13, 2024 -
varmacalc Public
experimental finite element analysis for heat transfer
C GNU General Public License v3.0 UpdatedAug 13, 2024 -
django-helpdesk Public
Forked from django-helpdesk/django-helpdeskA Django application to manage tickets for an internal helpdesk. Formerly known as Jutda Helpdesk.
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 13, 2024 -
ghidra Public
Forked from NationalSecurityAgency/ghidraGhidra is a software reverse engineering (SRE) framework
-
keyl Public
small interpreter for pie, the dependently typed language
-
kaiju Public
Forked from CERTCC/kaijuCERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, canonical repository for this project -- file bug reports and …
-
CERT-Guide-to-CVD Public
Forked from CERTCC/CERT-Guide-to-CVDContent for the CERT Guide to Coordinated Vulnerability Disclosure
Shell Other UpdatedJul 20, 2024 -
academicpages.github.io Public template
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedJul 10, 2024 -
lambdatiger Public
Tiger programming language implementation
Haskell GNU General Public License v3.0 UpdatedJul 7, 2024 -
milewski-ctfp-pdf Public
Forked from hmemcpy/milewski-ctfp-pdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
TeX GNU General Public License v3.0 UpdatedJun 23, 2024 -
pharos Public
Forked from CERTCC/pharosAutomated static analysis tools for binary programs. This is a "mirror"; please file tickets, bug reports, or pull requests at the upstream home in @cmu-sei: https://github.com/cmu-sei/pharos
C Other UpdatedApr 29, 2024 -
certfuzz Public
Forked from CERTCC/certfuzzThis project contains the source code for the CERT Basic Fuzzing Framework (BFF) and the CERT Failure Observation Engine (FOE).
-
django-bootstrap-form Public
Forked from tzangms/django-bootstrap-formTwitter Bootstrap for Django Form
HTML BSD 3-Clause "New" or "Revised" License UpdatedMar 25, 2024 -
-
hapstone Public
Forked from ibabushkin/hapstoneCapstone bindings for Haskell: https://github.com/aquynh/capstone
-
django-bootstrap4-form Public
Bootstrap 4 forms for Django
-
openstv Public
Forked from Conservatory/openstvLatest open source version of OpenSTV voting software, which was GPL'd until going proprietary in mid-2011 (apparently after 1.7).
Python UpdatedMay 30, 2017