-
Updated
Nov 23, 2025 - Python
#
normal-forms
Here are 13 public repositories matching this topic...
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
prolog type-inference theorem-prover beta-reduction intuitionistic-logic curry-howard-isomorphism lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms
-
Updated
Feb 2, 2026 - Prolog
Original Java-based logical tree engines (2002–2004) for visualizing propositional and first-order logic, recursion, and formal reasoning.
java first-order-logic recursion propositional-logic abstract-syntax-tree explainable-ai xai symbolic-logic normal-forms recursion-algorithm recursion-tree recursion-tree-visualiser logic-educational
-
Updated
Feb 19, 2026 - Java
Symplectic nonlinear beam-dynamics simulator with TPSA, Lie algebra, normal forms, resonance analysis and 6D particle tracking.
python scientific-computing nonlinear-dynamics hamiltonian-dynamics accelerator-physics lie-algebra symplectic-geometry normal-forms beam-dynamics particle-accelerators tpsa
-
Updated
Jan 19, 2026 - Python
Boolean algebra toolkit for PHP
-
Updated
Mar 12, 2022 - PHP
Questions for the Formal Languages and Machines (FLA) course, Faculty of Computer Engineering, Shahid Beheshti University. Course instructor: Dr. Ramak Ghavamizadeh
regex regular-expression finite-state-machine turing-machine normal-forms pushdown-automata cf-grammar pumping-lemma
-
Updated
Jul 26, 2026
lambda-calculus reduction beta-reduction reduction-strategies lambda-terms de-bruijn-notation normal-forms lambda-calculus-interpreter
-
Updated
Aug 13, 2022 - Jupyter Notebook
General Information
wordpress cross-platform micro-framework coding-standards semver coding architect psr-2 psr-4 wordpress-plugins unicode-cldr bcnf normal-forms bcnf-database-structure
-
Updated
Sep 23, 2021 - PHP
Propositional logic toolkit: parser, truth tables, tautology/SAT/equivalence, NNF/CNF/DNF, in pure Standard ML (MLton + Poly/ML)
-
Updated
Jul 11, 2026 - Standard ML
Museum database: conceptual model, schema, and normal form analysis
-
Updated
Aug 21, 2026
Building an ETL pipeline🔀 that extracts data from AWS S3 🗑 stages them in Redshift 🗄🗄 and transforms data into a set of dimensional tables for the analytics team.
python aws database etl s3 data-warehouse redshift boto3 data-normalization datawarehouse etl-pipeline normal-forms
-
Updated
Jun 13, 2020 - Jupyter Notebook
NFKC normalization for ghcjs and ghc
-
Updated
Jul 3, 2023 - Nix
Database Normalization — independent third-party profile of a public API surface, by API Evangelist. Database Normalization is the formal process of structuring relational schemas to reduce redundancy and avoid update, insert, and delete anomalies. It is governed by Codd's normal forms (1NF through 6NF) and the Boyce-Codd Normal Form, and is the fo
-
Updated
Sep 4, 2026
Add this topic to your repo
To associate your repository with the normal-forms topic, visit your repo's landing page and select "manage topics."