Next Generation of ShadowsocksX

Define your dev environment as code. For microservice apps on Kubernetes.

Hetzner Cloud Apps

Easy and Repeatable Kubernetes Development

Reference implementation for the peer-to-peer agent that manages the Stellar network.

Easily show documentation to Cursor's coding AI

Forecasting Future World Events with Neural Networks (NeurIPS 2022)

A short graduate course on cybercrime, cyberespionage, and cyberoperations

A curated list of AI-based tools for automating formal verification

Sovereign sdk module for double-entry bookkeeping

Calculate Ethereum contract sizes with Hardhat 📐

🕵️ allows you to see internal calls, events and storage operations in the console

Open-source Astro website template with sleek, customizable TailwindCSS components.

Experimental LLM interface exploring new ways to use AI to improve human thinking

Generative cellular automaton-like learning environments for RL.

INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness

fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

Email security is a key part of internet communication. But what are SPF, DKIM, and DMARC, and how do they work? This guide will explain it all in simple terms to make these concepts clearer.

Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks. This tool combines the capa…

Temporary repository for Kind2's refactor based on HVM2

Quorum1's governance models & processes

A modded Prolly-tree implementation in Typescript

A browser-based AI inference network.

The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)