Alternatives and similar repositories for analysis-solutions

Users that are interested in analysis-solutions are comparing it to the libraries listed below

• mozzius / demesne

  View on GitHub
  plc key management app
  ☆28Sep 21, 2025Updated 4 months ago
• mozzius / bsky-simple-viewer

  View on GitHub
  ☆10Oct 17, 2023Updated 2 years ago
• madvorak / fecssk

  View on GitHub
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆15Feb 8, 2024Updated 2 years ago
• vltanh / lean4-analysis-tao

  View on GitHub
  Formalization of "Analysis I" by Terence Tao
  ☆20May 6, 2025Updated 9 months ago
• bbentzen / mpl

  View on GitHub
  A Henkin-style completeness proof for the modal logic S5
  ☆17Jun 20, 2021Updated 4 years ago
• thapatechnical / nodeEmail

  View on GitHub
  send mail using node
  ☆10Jan 7, 2023Updated 3 years ago
• vihdzp / combinatorial-games

  View on GitHub
  Combinatorial game library in Lean 4
  ☆56Feb 6, 2026Updated last week
• renlabs-dev / torus-ts

  View on GitHub
  Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.
  ☆16Updated this week
• plushmonkey / Marvin

  View on GitHub
  Continuum dll injection bot
  ☆11May 3, 2024Updated last year
• dollspace-gay / Aurora-Prism

  View on GitHub
  A third party Appview for ATproto
  ☆80Updated this week
• orual / pattern

  View on GitHub
  agent builder
  ☆71Jan 9, 2026Updated last month
• rems-project / reviewing-good-and-bad-reasons

  View on GitHub
  ☆14Dec 2, 2021Updated 4 years ago
• jhenriks79 / Dtu-Calculator-Perf-Collector

  View on GitHub
  The perf collector will capture resource utilization for a database server and create a CSV file to be uploaded to the Azure SQL Database…
  ☆11Dec 13, 2017Updated 8 years ago
• arthurmbandeira / nodejs-currency-converter

  View on GitHub
  A simple currency converter based on https://fixer.io.
  ☆11May 25, 2018Updated 7 years ago
• synthesized-io / sdk-bigquery

  View on GitHub
  ☆12May 21, 2024Updated last year
• thedeepchecker / thedeepchecker

  View on GitHub
  TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs
  ☆10Nov 2, 2022Updated 3 years ago
• ThePrimeagen / webflyx

  View on GitHub
  ☆11Aug 14, 2024Updated last year
• rolldown / rolldown-vite-module-federation-example

  View on GitHub
  ☆10Feb 25, 2025Updated 11 months ago
• Haeryu / rbtree

  View on GitHub
  ☆10Apr 25, 2025Updated 9 months ago
• leoasis / react-style-hot-reload

  View on GitHub
  Exploring how to make react-style work with HMR and react-hot-loader
  ☆14May 12, 2015Updated 10 years ago
• tsadimas / fastapi-helm-chart

  View on GitHub
  Helm Chart for Fastapi Deployment
  ☆10May 18, 2020Updated 5 years ago
• ugo-studio / cloudflare-puppeteer-extra

  View on GitHub
  ☆11Nov 8, 2024Updated last year
• ethanniser / effect-atom-optimistic-update-demo

  View on GitHub
  ☆20Oct 16, 2025Updated 3 months ago
• vslinko / hoc

  View on GitHub
  [TODO] Higher-order Components Helpers
  ☆12May 15, 2015Updated 10 years ago
• fjxokt / lolClient

  View on GitHub
  NoAir PvP.net League of Legends Client
  ☆23May 21, 2013Updated 12 years ago
• kevin-powell / basic-demo

  View on GitHub
  ☆13Aug 16, 2023Updated 2 years ago
• sudosubin / awesome-communities

  View on GitHub
  A curated list of awesome communities, and community programs.
  ☆14Aug 20, 2025Updated 5 months ago
• stevekinney / react-performance

  View on GitHub
  ☆23Nov 13, 2025Updated 3 months ago
• BitlyTwiser / zinger

  View on GitHub
  Simple HTTP request library for Zig applications
  ☆13Dec 30, 2024Updated last year
• robertzk / dummit-foote

  View on GitHub
  Some solutions to the Dummit & Foote abstract algebra textbook
  ☆13Oct 26, 2015Updated 10 years ago
• piyush-eon / react-query-tutorial

  View on GitHub
  Complete Code for the React Query Tutorial made on RoadsideCoder Youtube Channel
  ☆15Feb 4, 2024Updated 2 years ago
• VadimNotJustDev / TicTacToe

  View on GitHub
  ☆12Mar 19, 2023Updated 2 years ago
• Blaisorblade / Agda-playground

  View on GitHub
  My Agda experiments
  ☆12Sep 26, 2019Updated 6 years ago
• daangn / KarrotCodableKit

  View on GitHub
  KarrotCodableKit simplifies Swift's Codable protocol by offering support for polymorphism, property wrappers, and macros to handle comple…
  ☆15Feb 3, 2026Updated last week
• oriansj / talk-notes

  View on GitHub
  Collection of notes for talks
  ☆13Jan 6, 2024Updated 2 years ago
• shahradelahi / circular-buffer

  View on GitHub
  ♻️ Circular Buffer implementation for JavaScript
  ☆14Updated this week
• zoedsoupe / arcane-quests

  View on GitHub
  practical projects to put in practice elixir and erlang/otp concepts
  ☆11Dec 4, 2024Updated last year
• CenturyLinkLabs / panamax-kubernetes-adapter-go

  View on GitHub
  The Kubernetes adapter in combination with the Panamax remote agent enables the deployment of a Panamax template to a Kubernetes cluster.
  ☆13Jan 24, 2020Updated 6 years ago
• PlatformAwareProgramming / PlatformAware.jl

  View on GitHub
  Platform-aware programming in Julia
  ☆13Nov 29, 2024Updated last year