Pinned Repositories
acrn-hypervisor
Project ACRN hypervisor
airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
aistore
AIStore: scalable storage for AI applications
alvarium-sdk-go
Go implementation of the Alvarium SDK
ansible-role-kubernetes
Ansible role to install a Kubernetes cluster
asuswrt-merlin
Enhanced version of Asus's router firmware (Asuswrt) (legacy code base)
asuswrt-merlin.ng
Third party firmware for Asus routers (newer codebase)
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coturn
coturn TURN server project
trustauthority-client
AI-Memory's Repositories
AI-Memory/Awesome-AI-GPTs
Awesome AI GPTs, OpenAI GPTs, GPT-4, ChatGPT, GPTs, Prompts, plugins, Prompts leaking
AI-Memory/stablediffusion
High-Resolution Image Synthesis with Latent Diffusion Models
AI-Memory/httpa
AI-Memory/trustauthority-client
AI-Memory/gramine-ITA
A library OS for Linux multi-process applications, with Intel SGX support
AI-Memory/contrib-ITA
Repository for third party scripts and other contributions related to Gramine
AI-Memory/emacs.el
my emacs configuration
AI-Memory/HorizontalFederatedLearning
An Erlang communication layer and a Java web server as support to horizontal federated learning, targeting KMeans as Machine Learning algorithm.
AI-Memory/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
AI-Memory/frap
Formal Reasoning About Programs
AI-Memory/maximum-awesome
Config files for vim and tmux.
AI-Memory/enclave-cc
Process-based Confidential Container Runtime
AI-Memory/td-shim
Confidential Containers Shim Firmware
AI-Memory/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
AI-Memory/Flutter-Course-Resources
Learn to Code While Building Apps - The Complete Flutter Development Bootcamp
AI-Memory/simdjson
Parsing gigabytes of JSON per second
AI-Memory/wazero
wazero: the zero dependency WebAssembly runtime for Go developers
AI-Memory/opa
An open source, general-purpose policy engine.
AI-Memory/threat-dragon
An open source, online threat modeling tool from OWASP
AI-Memory/mitmproxy2swagger
Automagically reverse-engineer REST APIs via capturing traffic
AI-Memory/holbert
A graphical interactive proof assistant designed for education
AI-Memory/sc
Common libraries and data structures for C.
AI-Memory/https_client
HTTP/HTTPS REST Client C Library
AI-Memory/SGXDataCenterAttestationPrimitives
AI-Memory/evil-guide
Draft of a guide for using emacs with evil
AI-Memory/bigdata-memory.github.io
AI-Memory/bdmemgeneric
Bigdata Memory Library For Generic Collections
AI-Memory/bdmem
BigData Memory Library
AI-Memory/asuswrt-merlin.ng
Third party firmware for Asus routers (newer codebase)
AI-Memory/asuswrt-merlin
Enhanced version of Asus's router firmware (Asuswrt) (legacy code base)