30 repositorios
Utilities for applying logical transformations to code expressions.
Distinct from Expression-Oriented Evaluation: None of the candidates relate to language-level expression transformation; they refer to data or CSS.
Explore 30 awesome GitHub repositories matching software engineering & architecture · Expression Transformers. 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.
Rust-analyzer is a language server implementation that provides real-time code intelligence, static analysis, and development productivity tools for the Rust programming language. It functions as a backend engine that communicates with text editors to deliver deep structural understanding of source code, enabling features like semantic analysis, symbol navigation, and automated refactoring. The project distinguishes itself through a core engine designed for high-performance responsiveness, utilizing incremental query-based compilation and lazy demand-driven evaluation to minimize resource con
Applies logical transformations to optimize or clarify expression evaluation.
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
Offers a detailed reference for converting academic mathematical symbols into programmable software logic.
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.
sqlglot is a SQL parser and transpiler that represents queries as abstract syntax trees to enable structural analysis, modification, and semantic transformation. It functions as a dialect translator and query optimizer, converting SQL code between different database engines and simplifying syntax trees through rule-based normalization. The project provides a framework for defining custom SQL dialects by overriding tokenizers, parsers, and generators. It includes a lineage analyzer to track data flow from source tables through complex queries to identify the origin of specific columns. Additi
Provides utilities for modifying query logic by traversing and mapping specific node types within the syntax tree.
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.
arxiv-latex-cleaner is a utility designed to prepare LaTeX projects for submission to the arXiv preprint server. It functions as a document sanitizer and source cleaner, removing private comments, metadata, and sensitive information from LaTeX files. The tool optimizes document size by eliminating unused files and compressing graphics to meet strict upload limits. It further handles the externalization of complex drawing environments, replacing raw source code with references to pre-compiled image or PDF files to hide simulation data. The system performs source-to-source transformations to r
Applies logical transformations to custom LaTeX macros, replacing them with standard code using regex captures.
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
InvenTree interprets engineering shorthand like 10k3 as 10,300, enabling easy entry of values with different orders of magnitude.
is-thirteen es una biblioteca de validación de números y comprobador de igualdad numérica diseñada para verificar si una entrada dada es igual al valor trece. Funciona como una herramienta de clasificación de datos que identifica este valor específico a través de flujos de entrada numéricos, textuales y visuales. El proyecto incluye un clasificador de números basado en imágenes que utiliza aprendizaje profundo y análisis de redes neuronales para identificar representaciones visuales del número trece dentro de imágenes cargadas. La biblioteca cubre una variedad de métodos de validación, incluyendo igualdad aritmética exacta, coincidencia de valores aproximados dentro de rangos de tolerancia definidos, análisis de notación científica y coincidencia de patrones lingüísticos para formas escritas del número.
Interprets scientific notation strings to verify if the resulting value equals thirteen.
handcalcs es un generador de documentación matemática y renderizador de cálculos LaTeX para Python. Sirve como una herramienta de hoja de cálculo automatizada que convierte código Python y cálculos numéricos en documentación matemática LaTeX formateada, funcionando tanto como un formateador de matemáticas simbólicas como una extensión de matemáticas para Jupyter notebook. El proyecto transforma nombres de variables de Python en símbolos griegos, subíndices y notación matemática estándar. Convierte código en expresiones matemáticas formateadas que muestran la fórmula original, la sustitución numérica y el resultado final, permitiendo la creación de hojas de cálculo parametrizadas e informes legibles por humanos. La herramienta cubre un amplio rango de capacidades de renderizado, incluyendo subíndices de variables automáticos, integración de comentarios inline y diseños de parámetros de múltiples columnas. Soporta la generación de código LaTeX crudo, renderizado de documentos PDF e integración con librerías de matemáticas simbólicas para manejar expresiones algebraicas. El sistema se integra directamente en entornos de Jupyter notebook utilizando cell magics para mostrar ecuaciones formateadas en tiempo real.
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 es un lenguaje de programación de propósito general y multiparadigma de la familia Lisp, diseñado para la creación de lenguajes. Funciona como un banco de trabajo de lenguajes, proporcionando una plataforma para diseñar e implementar lenguajes de programación personalizados a través de un sistema flexible de macros y módulos. El sistema se distingue por ofrecer una suite integral para la ingeniería de semántica, permitiendo la construcción de subconjuntos de lenguajes especializados y capas educativas. Incluye herramientas para el diseño de lenguajes personalizados, como la generación de lexers y parsers, así como la capacidad de definir reglas de expansión de módulos y selección dinámica de lenguaje en tiempo de lectura. El proyecto proporciona un entorno de desarrollo integrado con un editor incorporado, depurador visual y un gestor de paquetes de software. Su superficie de capacidades se extiende a una biblioteca estándar de propósito general que cubre renderizado de gráficos 2D, procesamiento de datos binarios, integración con SQL y bases de datos deductivas, y la construcción de interfaces gráficas de usuario. El entorno admite la compilación de código fuente en archivos ejecutables independientes para su distribución.
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.