cucapra/styleguide 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

cucapra/styleguide

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/cucapra/styleguide)

Close

cucapra / styleguideView on GitHubMore

• External links
• Readme badge

rules for writing and typesetting

☆25Oct 1, 2021Updated 4 years ago

Alternatives and similar repositories for styleguide

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

• informalsystems / modelator-py

  View on GitHub
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆27Nov 18, 2022Updated 3 years ago
• pcminer-tools / pcminer

  View on GitHub
  PC-miner tool for program chairs
  ☆29Dec 18, 2025Updated 2 months ago
• djiangtw / performance-and-benchmarking-public

  View on GitHub
  A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…
  ☆24Jan 3, 2026Updated 2 months ago
• VerifiableRobotics / slugs

  View on GitHub
  SmalL bUt Complete GROne Synthesizer
  ☆43Aug 22, 2024Updated last year
• 51alg / TerpreT

  View on GitHub
  ☆42Aug 14, 2017Updated 8 years ago
• aijunbai / markov-game

  View on GitHub
  Stochastic Markov Games
  ☆12Oct 5, 2017Updated 8 years ago
• arnognulf / ComputerModernMono

  View on GitHub
  Computer Modern Mono proportional font
  ☆10Jan 2, 2013Updated 13 years ago
• My0sot1s / boss-crawler

  View on GitHub
  boss直聘爬虫，使用 nodejs 和 selenium 实现，可以指定职位，获取所有有记录的城市中该岗位信息。其中表格生成使用 ExcelJs，验证码识别借助第三方平台”图鉴“。
  ☆12Mar 1, 2024Updated 2 years ago
• scitt-community / scitt-api-emulator

  View on GitHub
  SCITT API Emulator
  ☆10Nov 22, 2024Updated last year
• shift-society / salon

  View on GitHub
  Salon des Refusés - Dialectics for new computer science
  ☆11Feb 6, 2019Updated 7 years ago
• kisp-nus / anvil

  View on GitHub
  ☆22Feb 25, 2026Updated last week
• P4xos / P4xos

  View on GitHub
  ☆11Sep 22, 2017Updated 8 years ago
• firefox-devtools / rfcs

  View on GitHub
  RFCs for changes to DevTools
  ☆15Nov 15, 2019Updated 6 years ago
• merely-useful / mrsp

  View on GitHub
  Managing Research Software Projects
  ☆13Jun 24, 2021Updated 4 years ago
• fusedbloxxer / ub-g22-eddl-mdf

  View on GitHub
  Manifold Diffusion Fields
  ☆10May 19, 2024Updated last year
• glogiotatidis / dokku-static-site

  View on GitHub
  ☆10Sep 1, 2016Updated 9 years ago
• BlackInRobotics / BlackInRobotics.github.io

  View on GitHub
  ☆11Mar 18, 2025Updated 11 months ago
• yansh / MoanaML

  View on GitHub
  Moana implementation in OCaml
  ☆16Jul 15, 2015Updated 10 years ago
• ogiroux / synchronic

  View on GitHub
  Automatically exported from code.google.com/p/synchronic
  ☆11Nov 8, 2016Updated 9 years ago
• wqferr / functional

  View on GitHub
  Functional programming utilities implemented in pure Lua.
  ☆14Oct 30, 2024Updated last year
• rems-project / reviewing-good-and-bad-reasons

  View on GitHub
  ☆14Dec 2, 2021Updated 4 years ago
• mozilla / whatthetrain

  View on GitHub
  [deprecated] Information about Firefox release channels
  ☆14Nov 2, 2022Updated 3 years ago
• evergreen-ci / spruce

  View on GitHub
  Evergreen front-end
  ☆12Apr 5, 2024Updated last year
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆15Dec 16, 2024Updated last year
• Compositionality / compositionality-latex-template

  View on GitHub
  The Compositionality article class.
  ☆13Jun 12, 2025Updated 8 months ago
• soegaard / super

  View on GitHub
  Adds syntax to racket languages
  ☆11Aug 17, 2022Updated 3 years ago
• playXE / garbage-collector

  View on GitHub
  Garbage collector implementation in Rust for Rust
  ☆13Aug 30, 2020Updated 5 years ago
• newrelic / newrelic-python-kata

  View on GitHub
  Newrelic Python Kata
  ☆21May 31, 2013Updated 12 years ago
• LizBing / Uboa-Garbage-Collector

  View on GitHub
  A pauseless garbage collector in C.
  ☆12Jan 5, 2023Updated 3 years ago
• aria-systems-group / Kino-PAX

  View on GitHub
  Kinodyanmic Parallel Accelerated eXpansion
  ☆13Sep 9, 2024Updated last year
• francoisthire / bam

  View on GitHub
  A PBT framework
  ☆10Jul 19, 2025Updated 7 months ago
• TritonDataCenter / webrev

  View on GitHub
  generate HTML-based code review for offline browsing
  ☆12May 3, 2016Updated 9 years ago
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• UWSysLab / Sapphire

  View on GitHub
  Sapphire source code
  ☆11Nov 17, 2017Updated 8 years ago
• jianyicheng / iiProver

  View on GitHub
  An LLVM pass to prove that an II works for the given loop for Vitis HLS
  ☆11Aug 22, 2021Updated 4 years ago
• matrix-org / matrix-events-sdk

  View on GitHub
  JS/TS SDK for handling (extensible) events in Matrix
  ☆10Jan 13, 2023Updated 3 years ago
• kylc / planning-kit

  View on GitHub
  A toolbox of motion planning primitives
  ☆10Jun 8, 2023Updated 2 years ago
• MPEGGroup / FileFormatConformance

  View on GitHub
  MPEG File Format Conformance Framework
  ☆18May 29, 2025Updated 9 months ago
• sampsyo / minisynth

  View on GitHub
  program synthesis is possible
  ☆40Sep 28, 2019Updated 6 years ago