neuroo

openai-cookbook

Examples and guides for using the OpenAI API

llm-course

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

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

fauxpilot

FauxPilot - an open-source alternative to GitHub Copilot server

PaLM-rlhf-pytorch

Implementation of RLHF (Reinforcement Learning with Human Feedback) on top of the PaLM architecture. Basically ChatGPT but with PaLM

E2B

Secure open source cloud runtime for AI apps & AI agents

InternLM

Official release of InternLM2.5 base and chat models. 1M context support

Bear

Bear is a tool that generates a compilation database for clang tooling.

cppinsights

C++ Insights - See your source code with the eyes of a compiler

CodeBERT

CodeBERT

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

bearer

Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.

pytm

A Pythonic framework for threat modeling

react-native-watch-connectivity

Enable communication between apple watch app and react native

ml4se

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

seahorn

SeaHorn Verification Framework

ascent

logic programming in Rust

chalk

Chalk allows you to follow code from development, through builds and into production.

SafeInt

SafeInt is a class library for C++ that manages integer overflows.

ReVeal

sparrow

The Sparrow Static Analyzer

optir

Compiler optimizer for arbitrary control flow based on equality saturation

Gillian

The Gillian Platform main repository

DoubleX

Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale

tree-crasher

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

gibberish-detector

Train a model, and detect gibberish strings with it.

TheThing

TheThing: an open-source tool to detect DOM Clobbering vulnerabilities

checkr