moji1

tp_rl

EpsilonCLIForUMLRT

MDebugger

Modular_Model_Suite

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

arkit

JavaScript architecture diagrams and dependency graphs

awesome-smartnic

A curated list of awesome smartnic tutorials, papers and projects.

boofuzz

A fork and successor of the Sulley Fuzzing Framework

cobra

A Commander for modern Go CLI interactions

Code2Graph

Towards converting source code into an atomic graph representation.

codepropertygraph

Code Property Graph: specification, query language, and utilities

cs704

CS 704 course website - Principles of Programming Languages

danielcalencar.github.io

Welcome to use Jekyll theme Freshman21.

evosuite

EvoSuite - automated generation of JUnit test suites for Java classes

FCR

FBNet-Command-Runner: A thrift service to run commands on heterogeneous Network devices with configurable parameters.

frr

The FRRouting Protocol Suite

human-eval

Code for the paper "Evaluating Large Language Models Trained on Code"

jennifer

Jennifer is a code generator for Go

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs

llm-course

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

nanda-lab-website

A port of the Airspace theme by ThemeFisher to Jekyll.

open-nic

AMD OpenNIC Project Overview

openai-cookbook

Examples and guides for using the OpenAI API

overflowdb

ShiftLeft OverflowDB

patricia

Garbage collector-sensitive patricia tree for IP/CIDR tagging

pyan

Static call graph generator. The official Python 3 version. Development repo.

smtlibv2-grammar

ANTLR SMT-LIB v2 Grammar

TraceOrdering

Ordering and Replaying of Execution Traces of Distributed Systems in the Context of Model-driven Development

vc-data-model

W3C Verifiable Credentials Working Group — VC Data Model and Representations specification

viper

Go configuration with fangs