Pinned Repositories
1st_vSpace_PETs-AI_FHE_ZKP_MPC_TEE-ETHCC_TFHE_EVM
Created with StackBlitz ⚡️
act
Run your GitHub Actions locally 🚀
AIxCC
aks-agic
This sample shows how to deploy an AKS cluster with Application Gateway, Application Gateway Ingress Controller, Azure Container Registry, Log Analytics and Key Vault.
aries-mediator-service
C2
1st MLSecOps [Microsoft Azure Nanodegree ML Engineer] Operationalization Project
Capstone
1st MLSecOps [Microsoft Azure Nanodegree ML Engineer] Capstone Project
CycleGAN_CyCADA_Style_Transfer_and_HPO
Cross-domain Cycle-Consistent CyCADA CycleGAN and HPO
vSpaceVote
OP-TEE
c6ai's Repositories
c6ai/awesome-VLLMs
This repository collects papers on VLLM applications. We will update new papers irregularly.
c6ai/blendrl
BlendRL: A Framework for Merging Symbolic and Neural Policies (ICLR 2025)
c6ai/brownie
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
c6ai/CatColab
A collaborative environment for formal, interoperable, conceptual modeling
c6ai/cleanrl
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
c6ai/coconut_cvpr2024
COCONut: Crafting the Future of Segmentation Datasets with Exquisite Annotations in the Era of ✨Big Data✨
c6ai/crazyflie-lib-python
Python library to communicate with Crazyflie
c6ai/electrs
An efficient re-implementation of Electrum Server in Rust
c6ai/electrs-startos
Wrapper for Electrum Rust Server (electrs)
c6ai/electrumx
Alternative implementation of spesmilo/electrum-server
c6ai/firmware
❄️ Firmware and simulator for Coldcard Hardware Wallet
c6ai/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
c6ai/langtrace
Langtrace 🔍 is an open-source, Open Telemetry based end-to-end observability tool for LLM applications, providing real-time tracing, evaluations and metrics for popular LLMs, LLM frameworks, vectorDBs and more.. Integrate using Typescript, Python. 🚀💻📊
c6ai/LeanInteract
proof_generation.py: use DeepSeek-Prover-V1.5 and other proof generators to prove theorems from the MiniF2F benchmark
c6ai/MLGym
MLGym A New Framework and Benchmark for Advancing AI Research Agents
c6ai/pancake-frontend
:pancakes: Pancake main features (farms, pools, IFO, lottery, profiles)
c6ai/pasa
PaSa -- an advanced paper search agent powered by large language models. It can autonomously make a series of decisions, including invoking search tools, reading papers, and selecting relevant references, to ultimately obtain comprehensive and accurate results for complex scholarly queries.
c6ai/PRIME
Scalable RL solution for advanced reasoning of language models
c6ai/pytest
The pytest framework makes it easy to write small tests, yet scales to support complex functional testing
c6ai/repl
A simple REPL for Lean 4, returning information about errors and sorries.
c6ai/RL
1st-C6AI-RL
c6ai/solving_drl_tasks_with_es_and_linear_policy_networks
Solving Deep Reinforcement Learning Tasks with Evolution Strategies and Linear Policy Networks
c6ai/sparrow
Desktop Bitcoin Wallet focused on security and privacy. Free and open source.
c6ai/TinyZero
Clean, minimal, accessible reproduction of DeepSeek R1-Zero
c6ai/tldraw
whiteboard SDK / infinite canvas SDK
c6ai/token-voting-plugin
Token Voting Plugin
c6ai/Two-player-atari-RL
Enhancing Two-Player Performance Through Single-Player Knowledge Transfer:An Empirical Study on Atari 2600 Games
c6ai/UAV-VLA
Official repo to UAV-VLA HRI 2025 paper
c6ai/uv
An extremely fast Python package and project manager, written in Rust.
c6ai/VLM-surveys
A most Frontend Collection and survey of vision-language model papers, and models GitHub repository