23 个仓库
Utilities for transforming mathematical expressions between different notations.
Distinct from Expression Transformers: Specific to converting mathematical notation (infix to postfix) rather than general logical code transformations.
Explore 23 awesome GitHub repositories matching software engineering & architecture · Notation Converters. Refine with filters or upvote what's useful.
This project is a comprehensive collection of common computer science algorithms and data structures implemented in Swift. It serves as an educational reference and library for studying computational complexity, algorithmic logic, and data structure engineering through practical code examples. The repository provides a wide suite of data structure implementations, including various types of linked lists, heaps, hash tables, and an extensive range of hierarchical trees such as Red-Black, B-Tree, and Splay trees. It also covers diverse sorting and searching techniques, from basic bubble sort to
Provides a process for transforming mathematical expressions from infix to postfix notation.
KaTeX is a typesetting library and web math renderer that transforms TeX and LaTeX mathematical notation into high-quality HTML and CSS for web browsers. It functions as a math notation parser and LaTeX to HTML converter, capable of operating as both a client-side library and a server-side math renderer to generate static HTML expressions. The project supports a wide range of specialized mathematical rendering, including chemical equation rendering, Bra-ket notation for quantum mechanics, and mathematical logic typesetting. It provides comprehensive controls for structural layouts such as mat
Processes TeX syntax and custom macros to output precise typographic mathematical symbols and layouts.
This project is a mathematics programming pattern library and translation guide designed to map academic mathematical symbols and formulas into programmable logic. It serves as a reference for converting complex notations into software implementations. The resource provides mapping guides for translating calculus, linear algebra, and set theory into iterative loops, functional code, and boolean expressions. It includes specific patterns for implementing piecewise functions, matrix operations, and standard mathematical operators using conditional logic and built-in language functions. The lib
Provides utilities for identifying mathematical structures and converting them into software loop structures.
This project is an algorithm template library and coding interview study guide providing reusable code patterns for common data structures and algorithms. It serves as a reference for optimized strategies and a structured learning path to build proficiency in algorithmic problem solving and competitive programming. The library focuses on standardized implementations of key algorithmic patterns, including sliding windows, backtracking, dynamic programming, and binary search. It provides specific templates for managing binary search trees, searching rotated sorted arrays, and executing divide-a
Provides a stack-based evaluator for arithmetic expressions in reverse polish notation.
algorithm-base is an educational library and study guide designed for simulating algorithms and studying data structures. It functions as an execution visualizer that renders step-by-step state changes and pointer updates through animated simulations to illustrate how data movement works. The project distinguishes itself by mapping conceptual logic directly to multi-language source code implementations. It utilizes a comparative analysis framework to evaluate different algorithmic strategies based on stability, time complexity, and space complexity, while organizing problems by underlying mec
Computes the result of a reverse Polish notation expression by pushing and popping operands.
Macdown is a markdown text editor and HTML renderer designed for structured document composition. It provides a workspace for writing in lightweight markup syntax while simultaneously generating a live HTML preview of the rendered output. The editor distinguishes itself through a programmable interface, offering a command line utility to open files or pipe text directly into the application. It further supports extensibility via a plugin system that allows for the addition of custom features and functional modules at runtime. The application handles technical documentation requirements inclu
Displays formulas and equations by converting TeX-like math syntax into visual notation.
Einops is a tensor manipulation library that provides a framework-agnostic interface for reshaping, Einstein summation, and multi-dimensional array operations. It serves as an abstraction layer that works across NumPy, PyTorch, TensorFlow, and JAX, allowing for tensor transformations without changing the API. The library distinguishes itself through a declarative notation system that uses readable string patterns to describe tensor rearrangements and reductions. This approach includes an extended Einstein summation interface that supports multi-letter axis names and a named dimension mapping
Implements a declarative notation system that translates readable string patterns into backend-specific tensor operations.
This project is a comprehensive collection of computer science implementations and an algorithm tutorial repository. It serves as a study guide and reference for competitive programming, providing executable code examples that demonstrate fundamental algorithmic problem solving and mathematical computation. The library covers a wide range of specialized domains, including cryptography and security primitives, lossless data compression techniques, and computational geometry for spatial analysis. It also features implementations of machine learning models, linear algebra operations, and formal
Evaluates mathematical expressions in reverse polish notation using a stack-based approach.
LogicStack-LeetCode is a curated repository of solved algorithm problems and data structure implementations, primarily drawn from the LeetCode platform. Its core identity is a structured collection of solutions designed to support technical interview preparation and competitive programming practice, with each solution accompanied by complexity analyses to help engineers understand performance trade-offs. The repository distinguishes itself through its breadth of coverage across fundamental algorithmic patterns and data structures. It includes implementations for array manipulation, string pro
Evaluates postfix arithmetic expressions using a stack-based algorithm.
This project is a comprehensive Lisp AI implementation library that provides reference implementations for various artificial intelligence paradigms and symbolic algorithms. It functions as a multi-purpose toolkit containing a logic programming engine, a natural language processing suite, and a symbolic mathematics toolkit. The library is distinguished by its diverse architectural frameworks, including a Prolog-style execution engine that uses unification and goal-driven backtracking, and a system for simulating human decision-making through expert system shells and certainty factors. It also
Translates mathematical expressions between infix, prefix, and canonical representations.
OnlineJudge is an automated platform for managing programming contests and evaluating submitted source code. It provides a complete online judge system that compiles, runs, and scores code submissions against predefined test cases within a sandboxed execution environment, ensuring the host system remains protected from untrusted user code. The platform supports both ACM-style penalty-based scoring and OI-style point-based scoring, with real-time leaderboard computation that dynamically updates participant rankings as submissions are judged. Contest organizers can create and schedule timed com
Renders problem statements and discussions with Markdown formatting and MathJax mathematical notation.
InvenTree is an open-source inventory management platform built on Django, designed for tracking parts, stock levels, and supply chain operations through a web interface and REST API. The system uses barcodes—including QR codes, 1D barcodes, and Data Matrix codes—as primary identifiers for scanning, linking, and triggering inventory actions, and extends core functionality through a Python plugin framework supporting custom actions, UI panels, barcode handlers, and scheduled tasks. The platform distinguishes itself through a comprehensive plugin-based extensibility system that allows custom in
Interprets scientific notation strings during data entry for very large or small numeric values.
is-thirteen 是一个数字验证库和数值相等性检查器,旨在验证给定输入是否等于十三。它充当数据分类工具,可识别跨数值、文本和视觉输入流的这一特定值。 该项目包含一个基于图像的数字分类器,使用深度学习和神经网络分析来识别上传图像中数字十三的视觉表现。 该库涵盖了多种验证方法,包括精确算术相等性、定义容差范围内的近似值匹配、科学计数法解析以及书写形式的语言模式匹配。
Interprets scientific notation strings to verify if the resulting value equals thirteen.
handcalcs 是一个数学文档生成器和 Python LaTeX 计算渲染器。它作为一个自动化计算表工具,将 Python 代码和数值计算转换为格式化的 LaTeX 数学文档,既作为符号数学格式化程序,也作为 Jupyter Notebook 数学扩展。 该项目将 Python 变量名转换为希腊符号、下标和标准数学符号。它将代码转换为格式化的数学表达式,显示原始公式、数值代入和最终结果,从而允许创建参数化计算表和人类可读的报告。 该工具涵盖了广泛的渲染功能,包括自动变量下标、内联注释集成和多列参数布局。它支持生成原始 LaTeX 代码、PDF 文档渲染,并与符号数学库集成以处理代数表达式。 该系统使用单元格魔法(Cell Magics)直接集成到 Jupyter Notebook 环境中,以实时显示格式化的方程。
Transforms variable names into Greek symbols, subscripts, and prime notation while converting functions into operators.
Renders mathematical formulas and expressions in web pages using structured XML-based markup.
Racket 是一种通用的、多范式编程语言,属于 Lisp 家族,专为语言创建而设计。它作为一个语言工作台,通过灵活的宏和模块系统,为设计和实现自定义编程语言提供了一个平台。 该系统的特色在于提供了一套全面的语义工程套件,允许构建专门的语言子集和教育层。它包括用于自定义语言设计的工具,如词法分析器和解析器生成,以及在读取时定义模块扩展规则和动态语言选择的能力。 该项目提供了一个集成开发环境,内置编辑器、可视化调试器和软件包管理器。其功能范围扩展到涵盖 2D 图形渲染、二进制数据处理、SQL 和演绎数据库集成以及图形用户界面构建的通用标准库。 该环境支持将源代码编译为独立的二进制可执行文件以进行分发。
Converts code written in infix, prefix, and postfix notations into a flexible syntax for processing.
LeetCode-Swift is a collection of algorithm solutions written in Swift, designed for coding interview preparation. Each solution is implemented as a self-contained function with no external dependencies, making it easy to run and test. The repository organizes solutions by topic and company, and every file includes time and space complexity annotations, allowing quick evaluation of algorithmic efficiency. What sets this repository apart is its flat file structure and the way solutions are tagged with the companies that asked them in interviews, enabling targeted practice. All code resides in
Implements a stack-based evaluator for arithmetic expressions in Reverse Polish Notation.
Absinthe 是一个用于 Elixir 生态系统的 GraphQL 服务器实现和查询引擎。它提供了构建 GraphQL API 的基础工具包,包括一个针对定义的应用程序模式解析、验证和执行文档的处理引擎。 该项目包括一个批处理解析器,通过对字段请求进行分组来优化数据库性能;以及一个复杂度守卫,通过拒绝超过定义成本阈值的查询来保护系统资源。它还具有一个模式适配器,将内部 Elixir 命名约定转换为外部 GraphQL 大小写,以实现客户端兼容性。 执行模型支持异步字段解析和用于自定义查询处理的基于中间件的流水线。其他功能涵盖了查询成本分析、模式驱动的解析,以及自定义解析器和验证逻辑的能力。
Provides an adapter that converts internal naming conventions to different casing for external clients.
chess.js is a headless chess game logic engine and move validation library. It functions as a board state manager that enforces official rules, generates legal moves, and tracks game state without a user interface. The project provides comprehensive parsing and management for standard chess notations, including PGN for game histories and FEN for board configurations. It includes utilities for importing and exporting game records, managing PGN metadata, and handling position annotations. The engine covers a wide range of analysis capabilities, such as detecting game-ending conditions like che
Parses Standard Algebraic Notation and variants into structured move objects for execution.
CherryTree 是一款分层笔记应用和富文本编辑器,旨在通过嵌套的节点树来组织信息。它既是一个代码集成的文档工具,也是一个加密的知识库,支持使用 SQLite 或 XML 进行本地数据存储。 该项目通过集成开发者友好的功能脱颖而出,例如语法高亮以及直接通过外部终端执行代码块的能力。它还提供密码保护加密功能,以确保存储数据的安全性,防止未经授权访问信息树。 该软件涵盖了广泛的内容管理功能,包括 LaTeX 数学公式渲染、嵌入式媒体处理以及内部和外部超链接。它支持通过导入外部内容和导出为 PDF、HTML 或纯文本等多种格式来实现数据可移植性,并配备了全局搜索和替换工具。
Implements visual rendering of mathematical formulas and equations from LaTeX syntax.