AI-Memory

AI-Memory's Stars

• cloudflare/cloudflared

  Cloudflare Tunnel client (formerly Argo Tunnel)

  Language:Go9k796

• copilot-emacs/copilot.el

  An unofficial Copilot plugin for Emacs.

  Language:Emacs Lisp1.8k127

• ksandowi/httpa

  Language:HTML12

• coq/platform

  Multi platform setup for Coq, Coq libraries and tools

  Language:Shell18649

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19.3k3k

• emacs-evil/evil-collection

  A set of keybindings for evil-mode

  Language:Emacs Lisp1.2k275

• github/copilot.vim

  Neovim plugin for GitHub Copilot

  Language:Vim Script8.4k289

• emacs-evil/evil

  The extensible vi layer for Emacs.

  Language:Emacs Lisp3.4k282

• Coq-zh/SF-zh

  《软件基础》中译版 Software Foundations Chinese Translation

  Language:HTML91967

• 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.

  1

• confidential-containers/td-shim

  Confidential Containers Shim Firmware

  Language:Rust9151

• radian-software/straight.el

  🍀 Next-generation, purely functional package manager for the Emacs hacker.

  Language:Emacs Lisp2.7k150

• confidential-containers/enclave-cc

  Process-based Confidential Container Runtime

  Language:Go7640

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k883

• tonsky/FiraCode

  Free monospaced font with programming ligatures

  Language:Clojure77k3.1k

• apache/mnemonic-site

  Apache Mnemonic Site

  Language:SCSS59

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust97.5k12.6k

• pywebio/PyWebIO

  Write interactive web app in script way.

  Language:Python4.5k384

• apache/incubator-teaclave

  Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

  Language:Rust759158

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k587

• operator-framework/operator-lifecycle-manager

  A management framework for extending Kubernetes with Operators

  Language:Go1.7k543

• akermu/emacs-libvterm

  Emacs libvterm integration

  Language:Emacs Lisp1.7k136

• emacs-mirror/emacs

  Mirror of GNU Emacs

  Language:Emacs Lisp4.4k1.3k

• rdady/gear-vr-controller-linux

  Gear VR Controller Linux WebBrowser mouse

  Language:Python468

• jsyang/gearvr-controller-webbluetooth

  Gear VR controller web bluetooth demo

  Language:JavaScript11439

• akirak/org-reverse-datetree

  An alternative date tree implementation for Emacs Org mode

  Language:Emacs Lisp797

• Andersbakken/rtags

  A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.

  Language:C++1.8k253

• atilaneves/cmake-ide

  Use Emacs as a C/C++ IDE

  Language:Emacs Lisp71792

• inclavare-containers/inclavare-containers

  A novel container runtime, aka confidential container, for cloud-native confidential computing and enclave runtime ecosystem.

  Language:C59267

• AI-Memory/asuswrt-merlin.ng

  Third party firmware for Asus routers (newer codebase)

  11