AtheMathmo/rugrads 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

AtheMathmo/rugrads

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/AtheMathmo/rugrads)

Close

AtheMathmo / rugradsView on GitHubMore

• External links
• Readme badge

A proof of concept automatic differentiation library for Rust

☆24Feb 28, 2018Updated 8 years ago

Alternatives and similar repositories for rugrads

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

• masonium / linxal

  View on GitHub
  linear algebra package for rust
  ☆38Aug 26, 2017Updated 8 years ago
• dbuenzli / qoic

  View on GitHub
  QOI image codec for OCaml (unreleased)
  ☆11Jan 2, 2026Updated 2 months ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• EpicatSupercell / VeryFast

  View on GitHub
  Rust library for fast types.
  ☆15Feb 1, 2018Updated 8 years ago
• smimram / catt

  View on GitHub
  An infinity-categorical coherence typechecker
  ☆18Nov 4, 2024Updated last year
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• gstew5 / games

  View on GitHub
  ☆10Feb 25, 2020Updated 6 years ago
• jonnylaw / ComposableStateSpaceModels

  View on GitHub
  ☆15Jun 22, 2020Updated 5 years ago
• SuperFluffy / rust-freude

  View on GitHub
  A simple Rust library for efficiently solving ODEs without cloning
  ☆12Jun 26, 2019Updated 6 years ago
• charlesvdv / assert_json

  View on GitHub
  json testing made simple
  ☆14Aug 30, 2025Updated 6 months ago
• tomjridge / imp_fs

  View on GitHub
  ImpFS, a new filesystem.
  ☆21Feb 6, 2022Updated 4 years ago
• dylni / print_bytes

  View on GitHub
  Print bytes as losslessly as possible.
  ☆18Sep 6, 2025Updated 5 months ago
• dlicata335 / cart-cube

  View on GitHub
  Cartesian Cubical Type Theory
  ☆74Mar 1, 2021Updated 5 years ago
• Schultzer / libblas

  View on GitHub
  BLAS for Rust
  ☆16May 12, 2020Updated 5 years ago
• mmstick / permutate

  View on GitHub
  Generic permutator written in Rust that permutates both lists of lists and singular lists using references.
  ☆15May 2, 2019Updated 6 years ago
• jonsterling / constructive-sheaf-semantics

  View on GitHub
  I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.
  ☆17Jan 5, 2015Updated 11 years ago
• nbenton / x86proved

  View on GitHub
  ☆15Oct 24, 2017Updated 8 years ago
• takanuva / coc

  View on GitHub
  Calculus of Constructions
  ☆17Jul 17, 2019Updated 6 years ago
• tarides / cactus

  View on GitHub
  A Btree library in OCaml
  ☆18Mar 30, 2023Updated 2 years ago
• jneem / ojo

  View on GitHub
  ☆37Aug 13, 2025Updated 6 months ago
• mirage / ca-certs

  View on GitHub
  Detect root CA certificates from the operating system
  ☆14Nov 24, 2025Updated 3 months ago
• dc-mak / NumLin

  View on GitHub
  NumLin: Linear Types for Linear Algebra
  ☆23Jan 21, 2023Updated 3 years ago
• ericfinster / higher-alg

  View on GitHub
  An approach to higher algebra in type theory
  ☆23May 12, 2020Updated 5 years ago
• alekseysidorov / static-box

  View on GitHub
  A stack-allocated box that stores trait objects.
  ☆20Jul 20, 2021Updated 4 years ago
• AndrasKovacs / preordertt

  View on GitHub
  Experiments with preordered set models of (directed) type theories
  ☆15Jul 10, 2019Updated 6 years ago
• ubnt-intrepid / rustplotlib

  View on GitHub
  A Rust's binding of matplotlib
  ☆34Dec 26, 2016Updated 9 years ago
• erickt / stateful

  View on GitHub
  Stateful, a Rust Control Flow Plugin
  ☆108Apr 4, 2017Updated 8 years ago
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆23Dec 15, 2022Updated 3 years ago
• nmvdw / Three-HITs

  View on GitHub
  All higher inductive types can be obtained from three simple HITs.
  ☆17Apr 6, 2018Updated 7 years ago
• avsm / mirage-from-basics

  View on GitHub
  Another way to describe mirage
  ☆19Jul 8, 2019Updated 6 years ago
• Libbum / Wafer

  View on GitHub
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆20Aug 16, 2018Updated 7 years ago
• Saizan / cubical-demo

  View on GitHub
  ☆45Jun 20, 2019Updated 6 years ago
• unageek / inari

  View on GitHub
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆46Jan 26, 2025Updated last year
• YouyouCong / type-preserving-cps

  View on GitHub
  Type-preserving CPS translation for simply- and dependently-typed lambda calculi
  ☆19Jun 3, 2017Updated 8 years ago
• ericjang / RNN-dynamics

  View on GitHub
  Code and report for APMA136 Final Project
  ☆19May 6, 2015Updated 10 years ago
• jptmoore / nibbledb

  View on GitHub
  a byte-sized time series database
  ☆23Dec 15, 2020Updated 5 years ago
• elpinal / seqmod

  View on GitHub
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Mar 11, 2021Updated 4 years ago
• robur-coop / happy-eyeballs

  View on GitHub
  An implementation of happy eyeballs (RFC 8305) in OCaml with lwt
  ☆22May 14, 2025Updated 9 months ago
• kardeiz / funtime

  View on GitHub
  ☆19Nov 21, 2019Updated 6 years ago