sugakandrey/Functional-analysis 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

sugakandrey/Functional-analysis

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/sugakandrey/Functional-analysis)

Close

sugakandrey / Functional-analysisView on GitHubMore

• External links
• Readme badge

☆11Oct 9, 2016Updated 10 years ago

Alternatives and similar repositories for Functional-analysis

Users that are interested in Functional-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• volhovm / study-notes

  View on GitHub
  ITMO/CTD notes, y2013 🇺🇦
  ☆70Mar 29, 2019Updated 7 years ago
• artemohanjanyan / tt-conspect

  View on GitHub
  Notes for type theory course
  ☆21Jan 11, 2019Updated 7 years ago
• shd / logic2011

  View on GitHub
  ☆16Mar 6, 2024Updated 2 years ago
• jagajaga / FP-Course-ITMO

  View on GitHub
  Slides and other materials for functional programming lectures ITMO university
  ☆628Jan 17, 2022Updated 4 years ago
• CT-18 / cg

  View on GitHub
  computational geometry notes
  ☆15Jul 6, 2023Updated 3 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• mbuzdalov / latex-styles

  View on GitHub
  LaTeX styles for different purposes.
  ☆111Apr 21, 2023Updated 3 years ago
• Paradoxika / Skeptik

  View on GitHub
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Aug 31, 2017Updated 9 years ago
• sirlensalot / tatterdemalion

  View on GitHub
  Ragged writings on all things
  ☆15Jan 24, 2022Updated 4 years ago
• nomeata / haskell-via-sokoban

  View on GitHub
  A haskell tutorial using CodeWorld
  ☆19Jan 5, 2025Updated last year
• flyingleafe / dqnroute

  View on GitHub
  Emulation system for routing algorithms, particularly for DQN routing
  ☆12Aug 31, 2022Updated 4 years ago
• serokell / importify

  View on GitHub
  Importi.fy — it's like Uber, but for Haskell modules.
  ☆104Sep 2, 2018Updated 8 years ago
• andrewthad / quickcheck-classes

  View on GitHub
  Quickcheck Properties for common typeclasses
  ☆35Dec 27, 2025Updated 10 months ago
• alibaba / SimCSE-with-CARDS

  View on GitHub
  Source code for SIGIR 2022 paper.
  ☆16Apr 25, 2022Updated 4 years ago
• soimort / dotfiles

  View on GitHub
  Mort's dotfiles
  ☆20Aug 31, 2026Updated 2 months ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• SPbAU-Bach-2018 / Lectures

  View on GitHub
  ☆14Jun 5, 2019Updated 7 years ago
• Sanster / global_pointer

  View on GitHub
  ☆14Jun 20, 2022Updated 4 years ago
• UnkindPartition / prover

  View on GitHub
  Simple lambda prover
  ☆24Jul 6, 2015Updated 11 years ago
• Berrysoft / StreamFormat

  View on GitHub
  A C++ format IO library, based on standard streams.
  ☆10Jan 3, 2022Updated 4 years ago
• xbdxwyh / mocose

  View on GitHub
  ☆11Feb 14, 2023Updated 3 years ago
• domoritz / shorty

  View on GitHub
  A minimal Python script to shorten DOIs in bibtex files
  ☆15Apr 17, 2021Updated 5 years ago
• fizruk / snakes-demo

  View on GitHub
  Snakes game demo.
  ☆15Feb 14, 2017Updated 9 years ago
• yuxi120407 / DIB

  View on GitHub
  Codes for 'Deep Deterministic Information Bottleneck with Matrix-based entropy functional' in ICASSP 2021
  ☆12Jul 27, 2022Updated 4 years ago
• bravit / tt-ghc-exercises

  View on GitHub
  ☆28Jun 3, 2018Updated 8 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• Neutralzz / syntax_aware_local_attention

  View on GitHub
  ☆14Jul 26, 2021Updated 5 years ago
• GeeLaw / laomian

  View on GitHub
  老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
  ☆12Sep 23, 2025Updated last year
• InSb / Cangjie6-Sharp

  View on GitHub
  ☆11Oct 19, 2026Updated 2 weeks ago
• mxswd / webcloud

  View on GitHub
  Turn an optparse-applicative program into a CGI program!
  ☆35Feb 19, 2020Updated 6 years ago
• lt610 / GraphSaint

  View on GitHub
  The dgl implementation of GraphSaint
  ☆12May 9, 2021Updated 5 years ago
• Qznan / SpanKL

  View on GitHub
  Code for paper: A Neural Span-Based Continual Named Entity Recognition Model
  ☆18Dec 11, 2023Updated 2 years ago
• Namco0816 / PT-BERT

  View on GitHub
  ACL 2022(findings): A Sentence is Worth 128 Pseudo Tokens: A Semantic-Aware Contrastive Learning Framework for Sentence Embeddings
  ☆18Mar 23, 2022Updated 4 years ago
• ClumsyLee / CampNet

  View on GitHub
  Universal campus network assistant for iOS
  ☆16Jun 23, 2026Updated 4 months ago
• 131250208 / InfExtraction

  View on GitHub
  ☆24Oct 26, 2022Updated 4 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• wmingjian / my_ten_years_in_alibaba

  View on GitHub
  我在阿里这十年
  ☆12Dec 10, 2020Updated 5 years ago
• NKUCodingCat / Her_SNS

  View on GitHub
  就是SNS动态监视，氖萌懂的
  ☆12May 6, 2015Updated 11 years ago
• HaskellGroup / community

  View on GitHub
  Haskell Group Community >>= Haskell 中文社区。
  ☆16Mar 19, 2021Updated 5 years ago
• dupanfei1 / deeplearning-util

  View on GitHub
  ☆21Jan 19, 2019Updated 7 years ago
• InterImm / exoplanets

  View on GitHub
  系外行星
  ☆16Mar 3, 2018Updated 8 years ago
• sandwwraith / os2016-conspect

  View on GitHub
  Conspect for ITMO Operation System course (spring 2016)
  ☆19May 17, 2016Updated 10 years ago
• makoto / japanize

  View on GitHub
  ☆19Jan 5, 2022Updated 4 years ago