An Open Source Collaborative Code Editor
☆34Mar 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.
Sorting:
- ☆10Sep 11, 2018Updated 7 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 4 months ago
- 利用taro编写的一套可多端运行的代码 “ 影力星球 ”☆10Jul 4, 2018Updated 7 years ago
- ☆11Oct 11, 2023Updated 2 years ago
- 模仿今日头条，实现 APP 端，Server 端， Web 管理端☆15Dec 27, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Mar 13, 2025Updated last year
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- Hexo theme using the metronic corporate frontend framework.☆11Mar 6, 2023Updated 3 years ago
- an example of local large langue model embeddings with Redis as vector stores☆12Apr 30, 2023Updated 3 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆16Aug 30, 2024Updated last year
- A Django app that displays pdf files in a grid and lets you read them as flipbooks☆14Mar 3, 2026Updated 2 months ago
- 一键stf部署☆12Jun 19, 2019Updated 6 years ago
- Yet another voice assistant, but alive.☆13May 17, 2023Updated 3 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- common api usage for voucash☆22Apr 16, 2026Updated last month
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated last month
- ☆17Apr 4, 2024Updated 2 years ago
- 技术Dva2+React16+Antd3+Echarts☆13Dec 26, 2018Updated 7 years ago
- XRPL Private Testnet setup scripts for Docker Engine.☆11Jul 11, 2024Updated last year
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 5 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- Quadruped Robot controller design and simulation on Webots☆12Apr 28, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- bootstrap_calendar_rails allow you to build beautiful calendars with Twitter Bootstrap and Rails☆22Jun 29, 2015Updated 10 years ago
- Concourse resource type to run ansible playbooks☆18Aug 4, 2022Updated 3 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Typed effects API for OxCaml☆28May 18, 2026Updated last week
- ☆21May 14, 2025Updated last year
- A simple PHP library for reading and manipulating the /etc/network/interfaces file in Debian based distributions.☆11Jul 25, 2019Updated 6 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 6 months ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- ☆17Jun 10, 2022Updated 3 years ago
- 在iview-admin的基础上开发了组织管理、人员管理、菜单管理、角色管理、单点登陆的功能☆18Sep 27, 2018Updated 7 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated 2 years ago
- Charter, TSC, and other governance documents.☆16Mar 13, 2024Updated 2 years ago
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago