borhara/CO-DE external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

borhara/CO-DE

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/borhara/CO-DE)

Close

borhara / CO-DEView on GitHubMore

• External links
• Readme badge

An Open Source Collaborative Code Editor

☆33Mar 19, 2024Updated 2 years ago

Alternatives and similar repositories for CO-DE

Users that are interested in CO-DE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• lIAn0110 / mpvue-demo

  View on GitHub
  ☆10Sep 11, 2018Updated 8 years ago
• andreasabel / java-adt

  View on GitHub
  A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).
  ☆16Jan 12, 2026Updated 7 months ago
• wushuxuan / taro_movies

  View on GitHub
  利用taro编写的一套可多端运行的代码 “ 影力星球 ”
  ☆10Jul 4, 2018Updated 8 years ago
• Doraemonzzz / nanoTransNormer

  View on GitHub
  ☆11Oct 11, 2023Updated 2 years ago
• wizard-a / toutiao

  View on GitHub
  模仿今日头条，实现 APP 端，Server 端， Web 管理端
  ☆15Dec 27, 2018Updated 7 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated last year
• HerbertKarajan / H5PPT

  View on GitHub
  基于HTML5技术的幻灯片编辑、播放、控制的全套方案
  ☆14Nov 29, 2016Updated 9 years ago
• dramforever / finlog

  View on GitHub
  Compiling finite generators to digital logic. WIP
  ☆13Aug 24, 2020Updated 6 years ago
• ptsteadman / hexo-theme-corporate-example

  View on GitHub
  Hexo theme using the metronic corporate frontend framework.
  ☆11Mar 6, 2023Updated 3 years ago
• cxfcxf / embeddings

  View on GitHub
  an example of local large langue model embeddings with Redis as vector stores
  ☆12Apr 30, 2023Updated 3 years ago
• alcides / RefinementTypesTutorial

  View on GitHub
  A Python implementation of the Refinement Types Tutorial.
  ☆10Feb 4, 2021Updated 5 years ago
• thejohnfreeman / rippled-docker

  View on GitHub
  Images for building and testing rippled.
  ☆11Dec 14, 2023Updated 2 years ago
• ALiwoto / argparser

  View on GitHub
  A strong and rich tool for parsing commands and flags
  ☆15Sep 23, 2024Updated last year
• seanxpw / Digital_Life_Server

  View on GitHub
  Yet another voice assistant, but alive.
  ☆13May 17, 2023Updated 3 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• laelath / well-typed-term-generator

  View on GitHub
  A OCaml generator for well-typed terms (that use their arguments).
  ☆13Feb 22, 2025Updated last year
• Kraks / quantum-compiler

  View on GitHub
  Quantum circuits compiler with staging and continuations
  ☆17Nov 19, 2024Updated last year
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆12Apr 3, 2026Updated 5 months ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated 2 years ago
• owlbarn / owl_symbolic

  View on GitHub
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆21Apr 11, 2022Updated 4 years ago
• xrpscan / hermes

  View on GitHub
  Project Hermes: XRP Ledger Validation message service
  ☆11Jan 26, 2024Updated 2 years ago
• wanglin447563345 / pumpWeb

  View on GitHub
  技术Dva2+React16+Antd3+Echarts
  ☆13Dec 26, 2018Updated 7 years ago
• trackoor / AwesomePL

  View on GitHub
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17May 10, 2022Updated 4 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated 8 months ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• lengyijun / polonius-proof

  View on GitHub
  Verify naive = datafrog-opt, in rust/polonius
  ☆17Jun 26, 2025Updated last year
• mynaparrot / plugNmeet-recorder

  View on GitHub
  Plug-N-Meet - Recorder
  ☆23Updated this week
• peterlefanulumsdaine / cartmell-thesis

  View on GitHub
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆17Jan 6, 2026Updated 8 months ago
• starkware-bitcoin / cashubrew

  View on GitHub
  Cashu Mint, written in Elixir.
  ☆17Nov 12, 2024Updated last year
• SpringerPE / concourse-ansible-resource

  View on GitHub
  Concourse resource type to run ansible playbooks
  ☆18Aug 4, 2022Updated 4 years ago
• hopv / syng

  View on GitHub
  Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda
  ☆12Nov 18, 2022Updated 3 years ago
• bedrocksystems / coq-lens

  View on GitHub
  Lenses in Coq
  ☆17Oct 7, 2022Updated 3 years ago
• szumixie / stlc

  View on GitHub
  Simply-typed lambda calculus as a QIT in cubical Agda + normalization
  ☆16Jan 23, 2024Updated 2 years ago
• jonsterling / agda-synthetic-domain-theory

  View on GitHub
  ☆17Jun 10, 2022Updated 4 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• crcrcry / News-box

  View on GitHub
  带有推荐系统的各大新闻网站的新闻整合平台
  ☆16Jun 21, 2017Updated 9 years ago
• yiyunliu / mltt-consistency

  View on GitHub
  Logical relation for predicative CC omega with booleans and an intensional identity type
  ☆12Apr 22, 2025Updated last year
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 9 months ago
• regehr / pldi22-llvm-tutorial

  View on GitHub
  outline and links for PLDI 2022 tutorial
  ☆17Jun 13, 2022Updated 4 years ago
• nachivpn / k

  View on GitHub
  Meta-theory and normalization for Fitch-style modal lambda calculi
  ☆19May 27, 2024Updated 2 years ago
• Lufeesang / iview-springboot

  View on GitHub
  在iview-admin的基础上开发了组织管理、人员管理、菜单管理、角色管理、单点登陆的功能
  ☆18Sep 27, 2018Updated 7 years ago
• metaborg / mj.agda

  View on GitHub
  https://metaborg.github.io/mj.agda/
  ☆13Oct 14, 2020Updated 5 years ago