Mr.Robb's starred repositories
chatgpt_system_prompt
A collection of GPT system prompts and various prompt injection/leaking knowledge.
safetensors
Simple, safe way to store and distribute tensors
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
conv-emotion
This repo contains implementation of different architectures for emotion recognition in conversations.
manjaro-sway
manjaro linux with wayland 🖼, sway 🌴 and a lot of ♥
reasonable
OWL 2 Reasoner built on DataFrog
fastobo-py
Faultless AST for Open Biomedical Ontologies in Python.
JEPA_SSL_NeurIPS_2022
A repository for paper Joint Embedding Predictive Architectures Focus on Slow Features
PDDLViz.jl
A library for visualizing and animating PDDL domains.