Alternatives and similar repositories for zhongguojinxiandaishishijianzhou

Users that are interested in zhongguojinxiandaishishijianzhou are comparing it to the libraries listed below

• ztjryg4 / ChineseModernHistoryMap

  View on GitHub
  中国近代史可视化/中国近代史事件地图
  ☆26May 19, 2019Updated 6 years ago
• 37Degrees / DataSets

  View on GitHub
  ☆14Mar 25, 2023Updated 2 years ago
• Narukara / Oscilloscope

  View on GitHub
  Digital oscilloscope based on stm32
  ☆11Jan 9, 2023Updated 3 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• andreafioraldi / store-interval-tree

  View on GitHub
  A balanced unbounded interval-tree in Rust with associated values in the nodes
  ☆13Nov 22, 2022Updated 3 years ago
• plausiblelabs / hlist-rs

  View on GitHub
  Functional heterogeneous list (hlist) library for Rust
  ☆11Jun 28, 2020Updated 5 years ago
• LightQuantumArchive / archer

  View on GitHub
  A repository builder for ArchLinux
  ☆13Feb 2, 2022Updated 4 years ago
• williamqwu / ve370-pipelined-processor

  View on GitHub
  An MIPS pipelined processor with hazard detection for the course VE370 (FA2020) at UMJI.
  ☆11Dec 28, 2020Updated 5 years ago
• davidedelpapa / rust-ui-tauri

  View on GitHub
  Rust UI Rundown: Tauri
  ☆11Jan 18, 2021Updated 5 years ago
• alpha-beta-eta / SMathML

  View on GitHub
  ☆10Dec 27, 2025Updated last month
• Chi-Task-Force / Chi-Telegram-Inline-Bot-Neo

  View on GitHub
  在 Telegram 上快速模仿迟先生卖弱。
  ☆16Jan 19, 2026Updated 3 weeks ago
• cuplv / iodyn.rust

  View on GitHub
  Collections Library for Adapton, in Rust
  ☆13Sep 1, 2017Updated 8 years ago
• alekratz / enum-methods

  View on GitHub
  Method generation for enumerated types in Rust
  ☆12Apr 11, 2019Updated 6 years ago
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago
• MarisaKirisame / ant

  View on GitHub
  ☆12Updated this week
• JaimieMurdock / HK

  View on GitHub
  HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.
  ☆24Sep 25, 2011Updated 14 years ago
• AD1024 / dtlc

  View on GitHub
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Sep 3, 2020Updated 5 years ago
• jcouyang / alacarte

  View on GitHub
  Data Types a la carte from PureScript -> JavaScript
  ☆13Apr 19, 2017Updated 8 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• mitosis-project / mitosis-asplos20-artifact

  View on GitHub
  ☆16Nov 26, 2020Updated 5 years ago
• veldsla / rle_vec

  View on GitHub
  A rust crate providing a vector like struct that stores data as runs of identical values.
  ☆15Feb 19, 2021Updated 4 years ago
• arazabishov / pvec-rs

  View on GitHub
  A persistent, RRB-Tree based vector for Rust
  ☆18Updated this week
• OCamlPro / mikino_bin

  View on GitHub
  A simple induction and BMC engine.
  ☆24May 16, 2022Updated 3 years ago
• zmr-233 / MoonBit-WASM-Debugger

  View on GitHub
  ☆17Oct 20, 2024Updated last year
• tomdjong / MGS-categorical-realizability

  View on GitHub
  Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…
  ☆24Aug 9, 2025Updated 6 months ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• yuchanns / rustbyexample

  View on GitHub
  Yet another learn by example with rust. Examples of Wasm. Examples of yew usage
  ☆14Oct 9, 2023Updated 2 years ago
• declanvk / incremental-topo

  View on GitHub
  Data structure to maintain an incremental topological ordering over a collection of values
  ☆19Feb 9, 2026Updated last week
• CarsonHoffman / office-hours-queue

  View on GitHub
  ☆13Apr 24, 2024Updated last year
• roife / .emacs.d

  View on GitHub
  My emacs configurations
  ☆18Feb 25, 2025Updated 11 months ago
• nomeata / lean-wf-induct

  View on GitHub
  ☆17Feb 20, 2024Updated last year
• pythops / iwdrs

  View on GitHub
  Rust crate for iwd
  ☆18Dec 10, 2025Updated 2 months ago
• rejuvyesh / papers

  View on GitHub
  git-annex repo of papers
  ☆14Jun 11, 2016Updated 9 years ago
• yuchanns / nvim

  View on GitHub
  Built on top of lazy.nvim.
  ☆13Jan 8, 2026Updated last month
• rami3l / clavy

  View on GitHub
  An input source switching daemon for macOS.
  ☆22Feb 5, 2026Updated last week
• maminrayej / rudac

  View on GitHub
  Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.
  ☆18Oct 14, 2021Updated 4 years ago
• mbr / pid_control-rs

  View on GitHub
  PID controller
  ☆18Oct 20, 2018Updated 7 years ago
• BD777 / imageview

  View on GitHub
  Image viewer by tauri
  ☆18Jun 16, 2022Updated 3 years ago
• cjen07 / gobblet-gobblers

  View on GitHub
  gobblet gobblers game in elixir, phoenix and elm
  ☆17Apr 13, 2017Updated 8 years ago