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 9 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 🇺🇦
  ☆71Mar 29, 2019Updated 7 years ago
• shd / logic2011

  View on GitHub
  ☆16Mar 6, 2024Updated 2 years ago
• artemohanjanyan / tt-conspect

  View on GitHub
  Notes for type theory course
  ☆21Jan 11, 2019Updated 7 years ago
• jagajaga / FP-Course-ITMO

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

  View on GitHub
  computational geometry notes
  ☆16Jul 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
• mxswd / webcloud

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

  View on GitHub
  Ragged writings on all things
  ☆15Jan 24, 2022Updated 4 years ago
• danilkolikov / categories

  View on GitHub
  Category Theory
  ☆19Oct 24, 2018Updated 7 years ago
• flyingleafe / dqnroute

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

  View on GitHub
  Importi.fy — it's like Uber, but for Haskell modules.
  ☆104Sep 2, 2018Updated 7 years ago
• twanvl / simple-reflect

  View on GitHub
  Simple reflection of expressions
  ☆34Jun 18, 2021Updated 5 years ago
• sztanko / solsticestreets

  View on GitHub
  A small project that shows all streets aligned towards the summer and winter solstice
  ☆18Updated this week
• wenxueru / EntityDetection

  View on GitHub
  Neural Processing Letters: End-to-End Entity Detection with Proposer and Regressor
  ☆12Jun 6, 2023Updated 3 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• alibaba / SimCSE-with-CARDS

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

  View on GitHub
  DGL implementation of some deep GNNs
  ☆10Dec 6, 2020Updated 5 years ago
• SPbAU-Bach-2018 / Lectures

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

  View on GitHub
  ☆13Jun 20, 2022Updated 4 years ago
• Neutralzz / syntax_aware_local_attention

  View on GitHub
  ☆14Jul 26, 2021Updated 4 years ago
• libeineu / GPKD

  View on GitHub
  The codebase of paper：Learning Light-Weight Translation Models from Deep Transformer, which is accepted by AAAI2021 conference.
  ☆15Jan 25, 2021Updated 5 years ago
• fizruk / snakes-demo

  View on GitHub
  Snakes game demo.
  ☆15Feb 14, 2017Updated 9 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
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• UnkindPartition / prover

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

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

  View on GitHub
  ☆28Jun 3, 2018Updated 8 years ago
• lt610 / GraphSaint

  View on GitHub
  The dgl implementation of GraphSaint
  ☆12May 9, 2021Updated 5 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
• IdiosyncraticDragon / WMT_data

  View on GitHub
  Preprossed data for workshop on statistical machine translation (WMT), collected from papers or other projects
  ☆22Nov 4, 2017Updated 8 years ago
• 131250208 / InfExtraction

  View on GitHub
  ☆24Oct 26, 2022Updated 3 years ago
• shd / logic2018

  View on GitHub
  Materials & home works for IFMO'2018 logic course
  ☆25Oct 26, 2021Updated 4 years ago
• sirrice / bibcleaner

  View on GitHub
  UI for cleaning up bibtex files and normalizing conference names aka book titles.
  ☆23Jul 27, 2023Updated 2 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• serokell / ariadne

  View on GitHub
  An open source Ada wallet for users who need more
  ☆40Aug 9, 2019Updated 6 years ago
• olivettigroup / annotated-materials-syntheses

  View on GitHub
  ☆25Oct 5, 2020Updated 5 years ago
• sandwwraith / os2016-conspect

  View on GitHub
  Conspect for ITMO Operation System course (spring 2016)
  ☆19May 17, 2016Updated 10 years ago
• xcfcode / covid19-nlp-papers

  View on GitHub
  COVID-19 Related NLP Papers
  ☆30Jan 20, 2022Updated 4 years ago
• LeeSureman / Sequence-Labeling-Early-Exit

  View on GitHub
  Code for ACL 2021 paper: Accelerating BERT Inference for Sequence Labeling via Early-Exit
  ☆28Aug 19, 2022Updated 3 years ago
• serokell / o-clock

  View on GitHub
  Type-safe time units in Haskell
  ☆50Jan 22, 2025Updated last year
• sdiehl / vim-ormolu

  View on GitHub
  Plugin for formatting Haskell source code
  ☆41Nov 25, 2020Updated 5 years ago