Projects in Awesome Lists by gitcordier
A curated list of projects in awesome lists by gitcordier .
https://github.com/gitcordier/functionalanalysis
Solutions to some exercises from Walter Rudin's Functional Analysis
banach-space compactness completeness convex convex-hull distributions exercises-solutions functional-analysis hyperplan linear-functions mathematics measures metric-spaces number-theory tex topology vector-spaces walter-rudin xelatex
Last synced: 12 Apr 2025
https://github.com/gitcordier/bellingcat
Code from Bellingcat's guide
automatingosint beautifulsoup4 bellingcat networkx python3 selenium
Last synced: 07 Apr 2025
https://github.com/gitcordier/reversepolishnotationparser
Parses then computes RPN expressions. Iterative algorithm, not the naive one! Problem originated from http://codingdojo.org/kata/. Further reading at https://en.wikipedia.org/wiki/Reverse_Polish_notation
codingdojo parser parsing reverse-polish-notation rpn rpn-calculator rpn-expressions
Last synced: 28 Jun 2025
https://github.com/gitcordier/markdowntolatex
Markdown to LaTeX
command-line-app command-line-interface latex latex-document markdown markdown-parser markdown-to-latex markdown-to-pdf tla-plus tla-specification tlaplus tlaps xelatex
Last synced: 10 Mar 2026
https://github.com/gitcordier/minimal_length_of_graph_traversal
Given a network, equipped with a specific total and strict order, we get the minimal "round trip" traversal length. It always converges, at quadratic cost.
graph-traversal minimization minimization-algorithm minimizer salesman-problem
Last synced: 05 Oct 2025
https://github.com/gitcordier/tlaplus
brunelleschi tla tla-plus tla-specification tlaplus
Last synced: 27 Feb 2026
https://github.com/gitcordier/thechemicalbrowsers
Given a chemical formula, find how many H, He, Li, Be, B, C, N, ... are involved. Iterative algorithm, not the naive one!
chemical-formula iterative-algorithms parser
Last synced: 12 Apr 2025