-
go-graphql-client Public
Forked from hasura/go-graphql-clientPackage graphql provides a GraphQL client implementation.
Go MIT License UpdatedNov 8, 2025 -
gwasser.github.io Public
Personal academic-focused CV website and blog
HTML MIT License UpdatedOct 18, 2025 -
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 UpdatedAug 24, 2025 -
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).
-
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 UpdatedAug 24, 2025 -
CERT-Guide-to-CVD Public
Forked from CERTCC/CERT-Guide-to-CVDContent for the CERT Guide to Coordinated Vulnerability Disclosure
HTML Other UpdatedAug 24, 2025 -
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 24, 2025 -
ghidra Public
Forked from NationalSecurityAgency/ghidraGhidra is a software reverse engineering (SRE) framework
-
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 …
-
academicpages.github.io Public template
Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.
HTML MIT License UpdatedAug 12, 2025 -
lambdatiger Public
Tiger programming language implementation
Haskell GNU General Public License v3.0 UpdatedJul 18, 2025 -
-
django-bootstrap4-form Public
Bootstrap 4 forms for Django
-
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 -
keyl Public
small interpreter for pie, the dependently typed language
-
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
-
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
{{ message }}