☆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
Sorting:
- ITMO/CTD notes, y2013 🇺🇦☆71Mar 29, 2019Updated 6 years ago
- ☆16Mar 6, 2024Updated 2 years ago
- Notes for type theory course☆21Jan 11, 2019Updated 7 years ago
- computational geometry notes☆16Jul 6, 2023Updated 2 years ago
- Slides and other materials for functional programming lectures ITMO university☆625Jan 17, 2022Updated 4 years ago
- LaTeX styles for different purposes.☆108Apr 21, 2023Updated 2 years ago
- ☆10Jun 12, 2022Updated 3 years ago
- A C++ format IO library, based on standard streams.☆10Jan 3, 2022Updated 4 years ago
- Scalable Monotonic Neural Networks☆12Mar 14, 2024Updated last year
- Neural Processing Letters: End-to-End Entity Detection with Proposer and Regressor☆12Jun 6, 2023Updated 2 years ago
- Codes for 'Deep Deterministic Information Bottleneck with Matrix-based entropy functional' in ICASSP 2021☆14Jul 27, 2022Updated 3 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆12Sep 23, 2025Updated 5 months ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- Writing proofs to Twitter since April 2020☆12Jun 9, 2022Updated 3 years ago
- python+pygame，贪吃蛇游戏。☆11Jul 5, 2019Updated 6 years ago
- Source code for SIGIR 2022 paper.☆16Apr 25, 2022Updated 3 years ago
- ☆14Jun 5, 2019Updated 6 years ago
- A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。☆15Nov 5, 2019Updated 6 years ago
- Haskell Group Community >>= Haskell 中文社区。☆16Mar 19, 2021Updated 4 years ago
- A haskell tutorial using CodeWorld☆19Jan 5, 2025Updated last year
- Snakes game demo.☆15Feb 14, 2017Updated 9 years ago
- ☆21Jan 19, 2019Updated 7 years ago
- Importi.fy — it's like Uber, but for Haskell modules.☆103Sep 2, 2018Updated 7 years ago
- COVID-19 Related NLP Papers☆30Jan 20, 2022Updated 4 years ago
- multi-field planner for Ingress☆29Mar 8, 2017Updated 8 years ago
- Yet another academic homepage builder.☆25Jul 1, 2020Updated 5 years ago
- ☆28Jun 3, 2018Updated 7 years ago
- Materials & home works for IFMO'2018 logic course☆26Oct 26, 2021Updated 4 years ago
- An open source Ada wallet for users who need more☆40Aug 9, 2019Updated 6 years ago
- Lean 函数式编程☆43Dec 17, 2025Updated 2 months ago
- Notes of my introduction about NLP in Fudan University☆37Jul 6, 2021Updated 4 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Apr 1, 2019Updated 6 years ago
- archive.tw☆41Oct 29, 2022Updated 3 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- Type-safe time units in Haskell☆50Jan 22, 2025Updated last year
- Simple 2D physics engine for Russian AI Cup: CodeSeries☆41Nov 10, 2017Updated 8 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Dec 17, 2016Updated 9 years ago
- Unicode 和编码的那些事儿☆57Feb 23, 2026Updated last week