Alternatives and similar repositories for hopf-fibration

Users that are interested in hopf-fibration are comparing it to the libraries listed below

• cotrino / language_KnowledgeMap

  View on GitHub
  The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…
  ☆12Mar 29, 2016Updated 9 years ago
• umazalakain / fyp

  View on GitHub
  My final year project at the University of Strathclyde
  ☆13Jan 26, 2023Updated 3 years ago
• LeventErkok / conjugateGradient

  View on GitHub
  Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
  ☆16Sep 5, 2020Updated 5 years ago
• davdar / parsing-with-derivatives-haskell

  View on GitHub
  The original parsing with derivatives haskell implementation
  ☆12Aug 25, 2015Updated 10 years ago
• xnning / dependent-types-in-haskell

  View on GitHub
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Dec 13, 2018Updated 7 years ago
• zed-extensions / haskell

  View on GitHub
  Haskell support
  ☆14Feb 9, 2026Updated last week
• davidomarf / attractor-seeder

  View on GitHub
  Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.
  ☆10Jun 28, 2020Updated 5 years ago
• Oregu / featherweight

  View on GitHub
  μKanren implementation in Haskell
  ☆19Jul 3, 2014Updated 11 years ago
• langston-barrett / reed-thesis

  View on GitHub
  My undergradate thesis on coinductive types in univalent type theory
  ☆17May 10, 2018Updated 7 years ago
• bararchy / mos_game

  View on GitHub
  Mini Offline Singleplayer game in Crystal
  ☆18Oct 24, 2017Updated 8 years ago
• harp-project / AML-Formalization

  View on GitHub
  ☆11Sep 7, 2025Updated 5 months ago
• kframework / matching-logic-prover

  View on GitHub
  ☆15Apr 16, 2021Updated 4 years ago
• yiyunliu / mltt-consistency

  View on GitHub
  Logical relation for predicative CC omega with booleans and an intensional identity type
  ☆12Apr 22, 2025Updated 9 months ago
• artemis-project / artemis

  View on GitHub
  Canonical repo
  ☆16Feb 26, 2019Updated 6 years ago
• xnning / Dissertation

  View on GitHub
  My PhD Thesis
  ☆16Jan 4, 2022Updated 4 years ago
• neel-krishnaswami / adjs

  View on GitHub
  Higher-order FRP compiler
  ☆16Oct 20, 2021Updated 4 years ago
• Dessyreqt / awiki

  View on GitHub
  A personal wiki for Atom
  ☆12Jun 8, 2016Updated 9 years ago
• iblech / mathe-notizen

  View on GitHub
  Random notes on mathematics (in German)
  ☆12Updated this week
• janestreet / typerep

  View on GitHub
  Runtime types for OCaml (beta version)
  ☆27Jan 15, 2026Updated last month
• andrejbauer / andromeda

  View on GitHub
  A minimalist implementation of type theory, suitable for experimentation
  ☆15Aug 9, 2025Updated 6 months ago
• Soonad / Base.fm

  View on GitHub
  Standard library for the Formality language
  ☆18Mar 22, 2020Updated 5 years ago
• cmuvariability / PaperReadingGroup

  View on GitHub
  ☆10Jan 8, 2015Updated 11 years ago
• laMudri / quantitative

  View on GitHub
  ☆16Dec 28, 2021Updated 4 years ago
• vladzamfir / backfeed

  View on GitHub
  a public objective non-economic reputation system
  ☆13Oct 4, 2015Updated 10 years ago
• davdar / maam

  View on GitHub
  A monadic approach to static analysis following the methodology of AAM
  ☆18Oct 31, 2015Updated 10 years ago
• fltk-rs / flemish

  View on GitHub
  An elmish architecture for fltk-rs
  ☆20Sep 22, 2025Updated 4 months ago
• jclasley / sticky-scroll-mode

  View on GitHub
  Emacs sticky scrolling
  ☆18Dec 13, 2024Updated last year
• jwiegley / categorical

  View on GitHub
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Jan 28, 2018Updated 8 years ago
• TOTBWF / cubical-categories

  View on GitHub
  Category theory formalized in cubical agda
  ☆21Feb 16, 2020Updated 6 years ago
• flupe / generics

  View on GitHub
  ☆23Jul 1, 2024Updated last year
• atgeller / WASM-Redex

  View on GitHub
  A model of the WebAssembly language in Redex
  ☆21Mar 25, 2021Updated 4 years ago
• ionathanch / TTBFL

  View on GitHub
  A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
  ☆22Jan 28, 2026Updated 2 weeks ago
• moonad / Moonad

  View on GitHub
  Moonad: a p2p academic journal, or a social network for code?
  ☆27Jan 6, 2023Updated 3 years ago
• vcvpaiva / DialecticaCategories

  View on GitHub
  A place to collect work on dialectica categories.
  ☆29Jan 11, 2026Updated last month
• sky-ecosystem / mkr-mcd-spec

  View on GitHub
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Oct 25, 2022Updated 3 years ago
• ISANobody / sill

  View on GitHub
  ☆29Sep 14, 2015Updated 10 years ago
• gallais / agda-presburger

  View on GitHub
  Deciding Presburger arithmetic in agda
  ☆33Mar 25, 2023Updated 2 years ago
• umazalakain / typing-linear-pi

  View on GitHub
  Typing the linear pi calculus in Agda
  ☆29Mar 15, 2022Updated 3 years ago
• math-comp / algebra-tactics

  View on GitHub
  Ring, field, lra, nra, and psatz tactics for Mathematical Components
  ☆38Sep 15, 2025Updated 5 months ago