Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: normal-forms

ptarau/TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Language: Prolog - Size: 3.91 MB - Last synced: 15 days ago - Pushed: 16 days ago - Stars: 29 - Forks: 3

D3lph1/Boollet

Boolean algebra toolkit for PHP

Language: PHP - Size: 123 KB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 4 - Forks: 0

OganyanRV/Lambda-calculus-interpreter

Language: Jupyter Notebook - Size: 27.2 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 0

Bharati2301/Online-Voting-System-using-Python-and-MySQL

Language: Python - Size: 151 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 11 - Forks: 4

SolidMVC/general-information

General Information

Language: PHP - Size: 5.94 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

Related Keywords
normal-forms 5 beta-reduction 2 de-bruijn-notation 2 lambda-terms 2 reduction 1 reduction-strategies 1 database-management 1 erdiagram 1 mysql 1 online-voting-system 1 python 1 architect 1 bcnf 1 bcnf-database-structure 1 coding 1 coding-standards 1 cross-platform 1 micro-framework 1 psr-2 1 psr-4 1 semver 1 unicode-cldr 1 wordpress 1 wordpress-plugins 1 all-binary-trees-generator 1 all-set-partitions-gnerator 1 boltzmann-sampler 1 curry-howard-isomorphism 1 intuitionistic-logic 1 knuth-s-algorithm-r 1 prolog 1 random-binary-tree 1 random-set-partition 1 remy-s-algorithm 1 tautology-checking 1 theorem-prover 1 type-inference 1 boolean-algebra 1 sat 1 sat-solver 1 truth-table 1 zhegalkin-polynomial 1 lambda-calculus 1 lambda-calculus-interpreter 1