A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

Neural Networks: Zero to Hero

Caliptra IP and firmware for integrated Root of Trust block

Stock Movement Prediction Based on Bi-typed Hybrid-relational Market Knowledge Graph via Dual Attention Networks

A logger, server and visualization dashboard for ML projects

Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…

Code for paper "Compositional Sculpting of Iterative Generative Processes"

Open-source KVM software

A Learning Environment for Theorem Proving with the Coq proof assistant

Tool for data extraction and interacting with Lean programmatically.

A curated list of resources about generative flow networks (GFlowNets).

PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Machine Intelligence 2023.

Introductions to key concepts in quantum programming, as well as tutorials and implementations from cutting-edge quantum computing research.

Source content for the Qiskit Textbook

[ARCHIVED] A university quantum algorithms/computation course supplement based on Qiskit

Continuous Learning for Android Malware Detection (USENIX Security 2023)

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Gorilla: Training and Evaluating LLMs for Function Calls (Tool Calls)

⚠️ This repo is no longer in use. Please refer to https://github.com/OWASP/www-project-vulnerable-web-applications-directory

Extract URLs, paths, secrets, and other interesting bits from JavaScript

Tunneling Internet traffic over Whatsapp

Comfortably monitor your Internet traffic 🕵️‍♂️

Interact with your documents using the power of GPT, 100% privately, no data leaks

Open-source, secure environment with real-world tools for enterprise-grade agents.